not tracking napkin files here which is already done in the snapshot …

…files
ryyppy · Jul 8, 2020 · 66a0e43 · 66a0e43
1 parent 160c896
commit 66a0e43
Show file tree

Hide file tree

Showing 42 changed files with 3 additions and 20,148 deletions.
diff --git a/jscomp/napkin/.gitignore b/jscomp/napkin/.gitignore
@@ -0,0 +1,3 @@
+# place holder not tracking napkin files
+*.ml
+*.mli