diff options
author | 2000-03-08 05:34:23 +0000 | |
---|---|---|
committer | 2000-03-08 05:34:23 +0000 | |
commit | 37d2b52528f077fcfe708f9b5dd77a1b4edac908 (patch) | |
tree | 81e492178a4271ee6292ebeaa411edd5a6b57615 /generic/proof-easy-config.el | |
parent | 1c874544ecdc2d23c8a31fe322f1b7cc4e78185a (diff) |
Fix to uses of dolist for compatibility with Japan Emacs versions (older CLmacs)
Diffstat (limited to 'generic/proof-easy-config.el')
0 files changed, 0 insertions, 0 deletions