diff options
author | Benjamin Barenblat <bbaren@mit.edu> | 2016-02-13 10:41:17 -0500 |
---|---|---|
committer | Benjamin Barenblat <bbaren@mit.edu> | 2016-02-13 10:41:17 -0500 |
commit | 5ca6148aaf7b930a8868d0543f1a307d40532243 (patch) | |
tree | 55ec538c5bdef601b0ac8ebca71ad495f644326d /.gitignore | |
parent | 3d3886672433f0775f772d8d2ee47c5f5e0bc745 (diff) | |
parent | 3044fbedd58961f8c1168eb3bc2eeeb8a2b0b60e (diff) |
Merge branch 'upstream' into dfsg_clean20160213+dfsg
Diffstat (limited to '.gitignore')
-rw-r--r-- | .gitignore | 78 |
1 files changed, 78 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore new file mode 100644 index 00000000..b30fa842 --- /dev/null +++ b/.gitignore @@ -0,0 +1,78 @@ +*~ +.cm +src/.cm + +bin/* + +src/urweb.cm +src/urweb.mlb + +*.lex.* +*.grm.* +*.o +.deps +.libs +*.lo +*.la +*.mlton.grm +*.mlton.lex + +src/config.sml + +*.exe + +*.cache +*.log +*.status + +demo/out/*.html +demo/demo.* + +demo/more/out/*.html +demo/more/demo.* + +doc/*.html +doc/*.out + +*.sql +*mlmon.out + +*.aux +*.dvi +*.pdf +*.ps +*.toc + +.depend +Makefile.coq +*.vo +*.v.d +*.glob + +xml/parse +xml/entities.sml + +Makefile.in +src/c/Makefile.in +ar-lib +*.m4 +m4/libtool.m4 +m4/lt*.m4 +config.* +configure +depcomp +compile +install-sh +ltmain.sh +missing + +tests/*.db + +syntax: regexp + +Makefile +src/c/Makefile +libtool +include/urweb/config.h +include/urweb/config.h.in +include/urweb/stamp-h1 |