summaryrefslogtreecommitdiff
path: root/open_issues/formal_verification.mdwn
diff options
context:
space:
mode:
authorSamuel Thibault <samuel.thibault@ens-lyon.org>2011-08-01 21:53:26 +0200
committerSamuel Thibault <samuel.thibault@ens-lyon.org>2011-08-01 21:53:26 +0200
commit7466fb272d4941e71024068949d26891881a081c (patch)
treecd6f7800fd673f21dacb7dc4e2fb230b07b5c30a /open_issues/formal_verification.mdwn
parent0488c48e764897b536769886814bbf3b3d279504 (diff)
gnumach and mig are now in git, not cvs anymore
Diffstat (limited to 'open_issues/formal_verification.mdwn')
0 files changed, 0 insertions, 0 deletions