From 3728b30c31e871212925e37807b8600f20025cf8 Mon Sep 17 00:00:00 2001
From: Jason Gross <jasongross9@gmail.com>
Date: Wed, 7 Jun 2017 15:57:16 -0400
Subject: Update .gitignore

---
 .gitignore | 2 ++
 1 file changed, 2 insertions(+)

(limited to '.gitignore')

diff --git a/.gitignore b/.gitignore
index 84b9844a5..fa94bd55d 100644
--- a/.gitignore
+++ b/.gitignore
@@ -140,6 +140,8 @@ plugins/ltac/extraargs.ml
 plugins/ltac/profile_ltac_tactics.ml
 ide/coqide_main.ml
 plugins/ssrmatching/ssrmatching.ml
+plugins/ssr/ssrparser.ml
+plugins/ssr/ssrvernac.ml
 
 # other auto-generated files
 
-- 
cgit v1.2.3