diff options
| author | Arne Babenhauserheide <arne_bab@web.de> | 2012-03-18 00:43:25 +0100 |
|---|---|---|
| committer | Arne Babenhauserheide <arne_bab@web.de> | 2012-03-18 00:43:25 +0100 |
| commit | 818df988a17dd5a93fb749d6f3df7c65a522b806 (patch) | |
| tree | 96173ba9ceace1d783fb8757c81284ee366dc175 /open_issues/formal_verification.mdwn | |
| parent | f3d7a0e2355f21a38f93a5df698a3d2747d69098 (diff) | |
news: removed repetitive phrase.
Diffstat (limited to 'open_issues/formal_verification.mdwn')
0 files changed, 0 insertions, 0 deletions