diff options
author | Makarius Wenzel <makarius@sketis.net> | 2002-02-12 18:52:01 +0000 |
---|---|---|
committer | Makarius Wenzel <makarius@sketis.net> | 2002-02-12 18:52:01 +0000 |
commit | 37ed716144b0462cf3bc8741d9aaffde79347eaf (patch) | |
tree | e9cd422d9247f5cfcc95402c70b4793ac9e45ed1 /generic/proof-splash.el | |
parent | 72bd3a0e259003fae2469042d4fdd579f75953cf (diff) |
option -g GEOMETRY;
Diffstat (limited to 'generic/proof-splash.el')
0 files changed, 0 insertions, 0 deletions