diff .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
line wrap: on
line diff
--- a/.hgignore	Thu Aug 16 13:59:09 2018 +0100
+++ b/.hgignore	Mon Sep 10 20:34:00 2018 +0100
@@ -6,12 +6,9 @@
 *~
 .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