diff options
| author | rsc <devnull@localhost> | 2005-01-04 21:23:50 +0000 |
|---|---|---|
| committer | rsc <devnull@localhost> | 2005-01-04 21:23:50 +0000 |
| commit | 24c02865d8fcc97d1fb5cb9281810d8074aa5eb1 (patch) | |
| tree | 3bb16794ded14341ee58d9f1f173ce92fb4d2be7 /src/cmd/proof | |
| parent | d1e9002f81f14fbfef1ebc4261edccd9eb97b72c (diff) | |
| download | plan9port-24c02865d8fcc97d1fb5cb9281810d8074aa5eb1.tar.gz plan9port-24c02865d8fcc97d1fb5cb9281810d8074aa5eb1.tar.bz2 plan9port-24c02865d8fcc97d1fb5cb9281810d8074aa5eb1.zip | |
placeholder; does not yet build
Diffstat (limited to 'src/cmd/proof')
0 files changed, 0 insertions, 0 deletions