diff options
| author | rsc <devnull@localhost> | 2006-02-11 23:38:55 +0000 |
|---|---|---|
| committer | rsc <devnull@localhost> | 2006-02-11 23:38:55 +0000 |
| commit | b5f65921f346e6b4335f77e457ac5bcae0ab9d67 (patch) | |
| tree | d85d6da9def0b62b51537bf6348b43252ad69f5f /src/cmd/proof | |
| parent | e4d832222ba5519db94c7512c1fb82bd32491120 (diff) | |
| download | plan9port-b5f65921f346e6b4335f77e457ac5bcae0ab9d67.tar.gz plan9port-b5f65921f346e6b4335f77e457ac5bcae0ab9d67.tar.bz2 plan9port-b5f65921f346e6b4335f77e457ac5bcae0ab9d67.zip | |
various cleanup
Diffstat (limited to 'src/cmd/proof')
0 files changed, 0 insertions, 0 deletions