From 681382fbe032e10137d78f2308d239483c3e5731 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adam@chlipala.net>
Date: Sun, 20 Dec 2015 15:00:10 -0500
Subject: Imported to Git from Mercurial

---
 .gitignore | 78 ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 78 insertions(+)
 create mode 100644 .gitignore

(limited to '.gitignore')

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
-- 
cgit v1.2.3