diff options
author | 2000-09-21 18:21:40 +0000 | |
---|---|---|
committer | 2000-09-21 18:21:40 +0000 | |
commit | 38fa200b96a42e31e70cb8533d09ac90aa66655a (patch) | |
tree | 1d36273b14a647c20c82763db1feeec42ce23250 /images/gimp/scripts/proofgeneral.scm | |
parent | 7f2c0f5a2c0d60480df7131c380c92c7c63467fc (diff) |
Slightly shorter name for info dir entry.
Diffstat (limited to 'images/gimp/scripts/proofgeneral.scm')
0 files changed, 0 insertions, 0 deletions