diff options
| author | rsc <devnull@localhost> | 2006-02-09 08:20:11 +0000 |
|---|---|---|
| committer | rsc <devnull@localhost> | 2006-02-09 08:20:11 +0000 |
| commit | bafbb3918af74080aebc6efeb722dae9a49462b7 (patch) | |
| tree | e3fca40a21adde4cabd0c0894a66ae1022f3720d /man/man1/proof.1 | |
| parent | c0811e687d285f065f68c72d89a3292843e198f1 (diff) | |
| download | plan9port-bafbb3918af74080aebc6efeb722dae9a49462b7.tar.gz plan9port-bafbb3918af74080aebc6efeb722dae9a49462b7.tar.bz2 plan9port-bafbb3918af74080aebc6efeb722dae9a49462b7.zip | |
doubtful this will work
Diffstat (limited to 'man/man1/proof.1')
0 files changed, 0 insertions, 0 deletions