diff options
| author | David Aspinall | 2000-05-16 08:42:52 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-05-16 08:42:52 +0000 |
| commit | 6e098f30b99de5e559ae1a38a80863357d154e52 (patch) | |
| tree | 1fcac5a4a0f04b6f7965ec4ca5ee8a516e4ea7d7 /FAQ | |
| parent | 3f06fd37f9cf0f307c218866540e2a6bc8b308e8 (diff) | |
Added version string to splash. Added proof-strict-state-preserving
Diffstat (limited to 'FAQ')
0 files changed, 0 insertions, 0 deletions