Skip to content
Permalink
Browse files

Un-ignore some hand-written files

  • Loading branch information
tchajed committed Aug 17, 2017
1 parent 1caf1bc commit a96cda294d6d82bd5b1956de96126c44069d454a
Showing with 4 additions and 1 deletion.
  1. +1 −1 .ignore
  2. +3 −0 src/ocaml-output/.ignore
@@ -1,2 +1,2 @@
*.fst.hints
src/ocaml-output
src/ocaml-output/*
@@ -0,0 +1,3 @@
!Makefile
!get_branch.ml
!parse.mly

0 comments on commit a96cda2

Please sign in to comment.
You can’t perform that action at this time.