diff options
author | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2011-08-01 21:53:26 +0200 |
---|---|---|
committer | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2011-08-01 21:53:26 +0200 |
commit | 7466fb272d4941e71024068949d26891881a081c (patch) | |
tree | cd6f7800fd673f21dacb7dc4e2fb230b07b5c30a /open_issues/formal_verification.mdwn | |
parent | 0488c48e764897b536769886814bbf3b3d279504 (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