comparison .hgignore @ 1:b683d796e07e tip basis

Added generated Keiko files
author Mike Spivey <mike@cs.ox.ac.uk>
date Mon, 10 Sep 2018 20:34:00 +0100
parents 5dd13b8deb54
children
comparison
equal deleted inserted replaced
0:5dd13b8deb54 1:b683d796e07e
4 *.cmo 4 *.cmo
5 *.cma 5 *.cma
6 *~ 6 *~
7 .git 7 .git
8 .gitignore 8 .gitignore
9 keiko/interp.c
10 keiko/keiko.h
11 keiko/obx-t.a 9 keiko/obx-t.a
12 keiko/pplink 10 keiko/pplink
13 keiko/ppx 11 keiko/ppx
14 keiko/template.c
15 lab1/a.k 12 lab1/a.k
16 lab1/a.test 13 lab1/a.test
17 lab1/a.x 14 lab1/a.x
18 lab1/lexer.ml 15 lab1/lexer.ml
19 lab1/parser.ml 16 lab1/parser.ml