aboutsummaryrefslogtreecommitdiff
path: root/src/cmd/proof
diff options
context:
space:
mode:
authorrsc <devnull@localhost>2005-09-13 01:34:18 +0000
committerrsc <devnull@localhost>2005-09-13 01:34:18 +0000
commitb7eed2e0e14b980bed4ced80a357189a981d28bc (patch)
tree1158bbb9da39d9e2cbd15fd4fa9e636a5826002f /src/cmd/proof
parent5c7644e080c4d376d6aeb7990e0e23ca1c02aab6 (diff)
downloadplan9port-b7eed2e0e14b980bed4ced80a357189a981d28bc.tar.gz
plan9port-b7eed2e0e14b980bed4ced80a357189a981d28bc.tar.bz2
plan9port-b7eed2e0e14b980bed4ced80a357189a981d28bc.zip
Add 9P2000.u functions
Diffstat (limited to 'src/cmd/proof')
0 files changed, 0 insertions, 0 deletions