annotate .hgignore @ 0:bfdcc3820b32

Basis
author Mike Spivey <mike@cs.ox.ac.uk>
date Thu, 05 Oct 2017 08:04:15 +0100
parents
children
rev   line source
0
Mike Spivey <mike@cs.ox.ac.uk>
parents:
diff changeset
1 syntax:glob
Mike Spivey <mike@cs.ox.ac.uk>
parents:
diff changeset
2 *.o
Mike Spivey <mike@cs.ox.ac.uk>
parents:
diff changeset
3 *.cmi
Mike Spivey <mike@cs.ox.ac.uk>
parents:
diff changeset
4 *.cmo
Mike Spivey <mike@cs.ox.ac.uk>
parents:
diff changeset
5 *.cma
Mike Spivey <mike@cs.ox.ac.uk>
parents:
diff changeset
6 *~
Mike Spivey <mike@cs.ox.ac.uk>
parents:
diff changeset
7 .git
Mike Spivey <mike@cs.ox.ac.uk>
parents:
diff changeset
8 .gitignore
Mike Spivey <mike@cs.ox.ac.uk>
parents:
diff changeset
9 keiko/interp.c
Mike Spivey <mike@cs.ox.ac.uk>
parents:
diff changeset
10 keiko/keiko.h
Mike Spivey <mike@cs.ox.ac.uk>
parents:
diff changeset
11 keiko/obx-t.a
Mike Spivey <mike@cs.ox.ac.uk>
parents:
diff changeset
12 keiko/pplink
Mike Spivey <mike@cs.ox.ac.uk>
parents:
diff changeset
13 keiko/ppx
Mike Spivey <mike@cs.ox.ac.uk>
parents:
diff changeset
14 keiko/template.c
Mike Spivey <mike@cs.ox.ac.uk>
parents:
diff changeset
15 lab1/a.k
Mike Spivey <mike@cs.ox.ac.uk>
parents:
diff changeset
16 lab1/a.test
Mike Spivey <mike@cs.ox.ac.uk>
parents:
diff changeset
17 lab1/a.x
Mike Spivey <mike@cs.ox.ac.uk>
parents:
diff changeset
18 lab1/lexer.ml
Mike Spivey <mike@cs.ox.ac.uk>
parents:
diff changeset
19 lab1/parser.ml
Mike Spivey <mike@cs.ox.ac.uk>
parents:
diff changeset
20 lab1/parser.mli
Mike Spivey <mike@cs.ox.ac.uk>
parents:
diff changeset
21 lab1/parser.output
Mike Spivey <mike@cs.ox.ac.uk>
parents:
diff changeset
22 lab1/ppc
Mike Spivey <mike@cs.ox.ac.uk>
parents:
diff changeset
23 lab2/lexer.ml
Mike Spivey <mike@cs.ox.ac.uk>
parents:
diff changeset
24 lab2/parser.ml
Mike Spivey <mike@cs.ox.ac.uk>
parents:
diff changeset
25 lab2/parser.mli
Mike Spivey <mike@cs.ox.ac.uk>
parents:
diff changeset
26 lab2/ppc
Mike Spivey <mike@cs.ox.ac.uk>
parents:
diff changeset
27 lab3/lexer.ml
Mike Spivey <mike@cs.ox.ac.uk>
parents:
diff changeset
28 lab3/parser.ml
Mike Spivey <mike@cs.ox.ac.uk>
parents:
diff changeset
29 lab3/parser.mli
Mike Spivey <mike@cs.ox.ac.uk>
parents:
diff changeset
30 lab3/ppc
Mike Spivey <mike@cs.ox.ac.uk>
parents:
diff changeset
31 lab4/lexer.ml
Mike Spivey <mike@cs.ox.ac.uk>
parents:
diff changeset
32 lab4/parser.ml
Mike Spivey <mike@cs.ox.ac.uk>
parents:
diff changeset
33 lab4/parser.mli
Mike Spivey <mike@cs.ox.ac.uk>
parents:
diff changeset
34 lab4/parser.output
Mike Spivey <mike@cs.ox.ac.uk>
parents:
diff changeset
35 lab4/ppc
Mike Spivey <mike@cs.ox.ac.uk>
parents:
diff changeset
36 tools/nclex.ml
Mike Spivey <mike@cs.ox.ac.uk>
parents:
diff changeset
37 tools/ncparse.ml
Mike Spivey <mike@cs.ox.ac.uk>
parents:
diff changeset
38 tools/ncparse.mli
Mike Spivey <mike@cs.ox.ac.uk>
parents:
diff changeset
39 tools/ncparse.output
Mike Spivey <mike@cs.ox.ac.uk>
parents:
diff changeset
40 tools/nodexp
Mike Spivey <mike@cs.ox.ac.uk>
parents:
diff changeset
41 lab4/b.out
Mike Spivey <mike@cs.ox.ac.uk>
parents:
diff changeset
42 lab4/b.s
Mike Spivey <mike@cs.ox.ac.uk>
parents:
diff changeset
43 lab4/b.test
Mike Spivey <mike@cs.ox.ac.uk>
parents:
diff changeset
44 lab2/a.k
Mike Spivey <mike@cs.ox.ac.uk>
parents:
diff changeset
45 lab2/a.test
Mike Spivey <mike@cs.ox.ac.uk>
parents:
diff changeset
46 lab2/a.x
Mike Spivey <mike@cs.ox.ac.uk>
parents:
diff changeset
47 lab3/a.k
Mike Spivey <mike@cs.ox.ac.uk>
parents:
diff changeset
48 lab3/a.test
Mike Spivey <mike@cs.ox.ac.uk>
parents:
diff changeset
49 lab3/a.x
Mike Spivey <mike@cs.ox.ac.uk>
parents:
diff changeset
50 tools/guest_rsa
Mike Spivey <mike@cs.ox.ac.uk>
parents:
diff changeset
51 tools/pibake
Mike Spivey <mike@cs.ox.ac.uk>
parents:
diff changeset
52 tools/sshconfig