devs/cproof
1
2
Fork 1
Code Issues 43 Pull Requests 6 Actions Packages Projects 1 Releases Wiki Activity

Moved tests -> unittests

Browse Source
This commit is contained in:
James Booth
2015-05-28 18:50:55 +01:00
parent 0c99dc7ad6
commit 6d6bb64588
58 changed files with 52 additions and 50 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
.gitignore vendored
View File

@@ -71,3 +71,5 @@ main_fragment.html
toc_fragment.html
stabbertests/stabbertestsuite
stabbertests/stabbertestsuite.trs
unittests/unittests
unittests/unittests.trs