diff options
| author | rsc <devnull@localhost> | 2006-02-12 00:20:49 +0000 |
|---|---|---|
| committer | rsc <devnull@localhost> | 2006-02-12 00:20:49 +0000 |
| commit | 7e61af5124e3843a8934da4e6be5e8fdc58d99dd (patch) | |
| tree | 0179b8d5e5eebc09a0af6bbb9c09ae3552a8326e /src/cmd/proof/main.c | |
| parent | b5f65921f346e6b4335f77e457ac5bcae0ab9d67 (diff) | |
| download | plan9port-7e61af5124e3843a8934da4e6be5e8fdc58d99dd.tar.gz plan9port-7e61af5124e3843a8934da4e6be5e8fdc58d99dd.tar.bz2 plan9port-7e61af5124e3843a8934da4e6be5e8fdc58d99dd.zip | |
works
Diffstat (limited to 'src/cmd/proof/main.c')
0 files changed, 0 insertions, 0 deletions