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

Merge branch 'master' into python3

Browse Source 
Conflicts:
	.gitignore
This commit is contained in:
James Booth
2016-07-24 01:22:29 +01:00
parent d44472049b 4ecb4019a6
commit 47dfa6c3fc
135 changed files with 137 additions and 137 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
.gitignore vendored
View File

@@ -65,7 +65,6 @@ valgrind.out
.DS_Store
apidocs/c/html/
*.swp
python2/
python3/