diff options
| author | Makarius Wenzel | 2000-08-28 12:01:44 +0000 |
|---|---|---|
| committer | Makarius Wenzel | 2000-08-28 12:01:44 +0000 |
| commit | dbf8693c6fc055e4f125e1eec956afe4f25cca06 (patch) | |
| tree | 23dba98aa44ddaa7fa4f21eee3b8e2e5b4b7b3b3 /html | |
| parent | fdc93e295c67ca38d96277ee177a3743bcc2f3ab (diff) | |
-w false implies -x false;
do not load proof-site.el here;
Diffstat (limited to 'html')
0 files changed, 0 insertions, 0 deletions