aboutsummaryrefslogtreecommitdiff
path: root/src/cmd/proof
diff options
context:
space:
mode:
authorrsc <devnull@localhost>2006-04-21 04:25:28 +0000
committerrsc <devnull@localhost>2006-04-21 04:25:28 +0000
commit4e3a81b98b7fe89d4e081be810f76f87300c11e5 (patch)
treebdf31d21178a558600595b88ef7e645c27375851 /src/cmd/proof
parent12e997d87c3f057018fb8f3411cd9676b416cc04 (diff)
downloadplan9port-4e3a81b98b7fe89d4e081be810f76f87300c11e5.tar.gz
plan9port-4e3a81b98b7fe89d4e081be810f76f87300c11e5.tar.bz2
plan9port-4e3a81b98b7fe89d4e081be810f76f87300c11e5.zip
darawin
Diffstat (limited to 'src/cmd/proof')
0 files changed, 0 insertions, 0 deletions