diff options
| author | Makarius Wenzel | 2000-03-17 11:19:01 +0000 |
|---|---|---|
| committer | Makarius Wenzel | 2000-03-17 11:19:01 +0000 |
| commit | 840b78998d1d88cbc6a5d072b8a4c0802d4f1b3a (patch) | |
| tree | 706aaf561d5fa10a3e2607efefa765f671b2701b /html/functions.php3 | |
| parent | 4ea6a46f84e6c24b41e40db83c0be4ea8b06ca9a (diff) | |
proof-assistant-table: fixed spelling of comment;
Diffstat (limited to 'html/functions.php3')
0 files changed, 0 insertions, 0 deletions