diff options
| author | David Aspinall | 1999-11-30 11:41:38 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-11-30 11:41:38 +0000 |
| commit | f9c93a0c0f11e628cce126c39d7c0d9040e93733 (patch) | |
| tree | 5dd79767b1718a8861550c365e19fbaed6ed8cd2 /html/functions.php3 | |
| parent | 46583d91c439d8577fd890dce987dd2dc6e1de2a (diff) | |
Added FULLVERSION mechanism, to tag proof-general-release.
Diffstat (limited to 'html/functions.php3')
0 files changed, 0 insertions, 0 deletions