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

Update gitignore, added python API docs Makefile

Browse Source
This commit is contained in:
James Booth
2016-08-02 22:54:34 +01:00
parent 30e96b2d0f
commit 7314a13248
2 changed files with 218 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
.gitignore vendored
View File

@@ -16,8 +16,8 @@ compile_commands.json
# autotools
.libs/
Makefile
Makefile.in
/Makefile
/Makefile.in
_configs.sed
aclocal.m4
autom4te.cache/