diff options
| author | David Aspinall | 2002-08-28 23:21:10 +0000 |
|---|---|---|
| committer | David Aspinall | 2002-08-28 23:21:10 +0000 |
| commit | e90f1249c55291c7b0bab546c2513e5a91bc0c6b (patch) | |
| tree | c87eff734621ee967ca1ccb93feb08f8dbd29a9a /html/feedback.php | |
| parent | 7426585190a3bee979818adc76639162372da6b7 (diff) | |
Alternative version of proof-ass macro to support byte-compiled files.
Diffstat (limited to 'html/feedback.php')
0 files changed, 0 insertions, 0 deletions