diff options
| author | David Aspinall | 2008-01-14 23:11:30 +0000 |
|---|---|---|
| committer | David Aspinall | 2008-01-14 23:11:30 +0000 |
| commit | d243de19ec0e5c57e979a34df0229d7fc02f94a5 (patch) | |
| tree | f92dc169052ab9fc328f30c252277fd54a119cbc /lib | |
| parent | 45de9ccaa454c303fdf2289742583a4fd2f0cd26 (diff) | |
Remove architecture flags. Remove proof-pre-shell-start and proof-mode-for- settings.
Diffstat (limited to 'lib')
0 files changed, 0 insertions, 0 deletions