diff options
| author | Dilip Sequiera | 1996-12-09 15:11:04 +0000 |
|---|---|---|
| committer | Dilip Sequiera | 1996-12-09 15:11:04 +0000 |
| commit | f222051b779214153a8c72934abeb66568586231 (patch) | |
| tree | 404d28d9d948302cb71d848de5a030b1545fe228 /script-management.texinfo | |
| parent | 10385afbe5ad48cdb5a6de7c937884941a3a3886 (diff) | |
Speeded up proof-by-pointing things
Diffstat (limited to 'script-management.texinfo')
0 files changed, 0 insertions, 0 deletions