diff .hgignore @ 0:bfdcc3820b32

Basis
author Mike Spivey <mike@cs.ox.ac.uk>
date Thu, 05 Oct 2017 08:04:15 +0100
parents
children
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/.hgignore	Thu Oct 05 08:04:15 2017 +0100
@@ -0,0 +1,52 @@
+syntax:glob
+*.o
+*.cmi
+*.cmo
+*.cma
+*~
+.git
+.gitignore
+keiko/interp.c
+keiko/keiko.h
+keiko/obx-t.a
+keiko/pplink
+keiko/ppx
+keiko/template.c
+lab1/a.k
+lab1/a.test
+lab1/a.x
+lab1/lexer.ml
+lab1/parser.ml
+lab1/parser.mli
+lab1/parser.output
+lab1/ppc
+lab2/lexer.ml
+lab2/parser.ml
+lab2/parser.mli
+lab2/ppc
+lab3/lexer.ml
+lab3/parser.ml
+lab3/parser.mli
+lab3/ppc
+lab4/lexer.ml
+lab4/parser.ml
+lab4/parser.mli
+lab4/parser.output
+lab4/ppc
+tools/nclex.ml
+tools/ncparse.ml
+tools/ncparse.mli
+tools/ncparse.output
+tools/nodexp
+lab4/b.out
+lab4/b.s
+lab4/b.test
+lab2/a.k
+lab2/a.test
+lab2/a.x
+lab3/a.k
+lab3/a.test
+lab3/a.x
+tools/guest_rsa
+tools/pibake
+tools/sshconfig