From 34dd34065111c5abe68e88a79a77e482e79489a7 Mon Sep 17 00:00:00 2001 From: Matej Košík Date: Wed, 7 Jun 2017 14:25:07 +0200 Subject: Put "ssreflect" behind "API". --- .gitignore | 3 +++ 1 file changed, 3 insertions(+) (limited to '.gitignore') diff --git a/.gitignore b/.gitignore index fe5f59b94..84fe89d1e 100644 --- a/.gitignore +++ b/.gitignore @@ -180,3 +180,6 @@ test-suite/.nra.cache # these files are generated from plugins/micromega/MExtraction.v plugins/micromega/micromega.ml plugins/micromega/micromega.mli + +plugins/ssr/ssrparser.ml +plugins/ssr/ssrvernac.ml -- cgit v1.2.3