diff options
| author | David Aspinall | 2001-12-11 00:51:28 +0000 |
|---|---|---|
| committer | David Aspinall | 2001-12-11 00:51:28 +0000 |
| commit | 851ab0efabce17933d5c6724a56c72aed69d30e1 (patch) | |
| tree | 7fb41a1dddf6e37bbd9c0e20522700f0878b84fe /html/functions.php3 | |
| parent | d75ebf1ab7e1ec256265581e20aa5eaf4fb4b4f9 (diff) | |
Add proof-running-on-Emacs21 flag.
Diffstat (limited to 'html/functions.php3')
0 files changed, 0 insertions, 0 deletions