diff options
| author | David Aspinall | 2001-05-29 17:58:06 +0000 |
|---|---|---|
| committer | David Aspinall | 2001-05-29 17:58:06 +0000 |
| commit | eb8ad8d10763bc31b67bfc1f3c4bc3404b02a749 (patch) | |
| tree | 4b3a1155c67201b73dc51f8e07a466bbecfd5dad /html/head.html | |
| parent | ab85a24f219c5d1f53768326ea1a711a7c2d338f (diff) | |
Remove extra proof."
Diffstat (limited to 'html/head.html')
0 files changed, 0 insertions, 0 deletions