X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=.gitignore;h=47ba0d5457a0703d6cacab5f36e025174fec6116;hb=402caea290ab08ddb12cb79cbf73ec7e97066863;hp=4acd010bd5ab045daccae219f1063c3cb33a1717;hpb=7641eae45f89c0df9ba21d4ca43f1ebafdcb5bd8;p=model-checker.git

diff --git a/.gitignore b/.gitignore
index 4acd010..47ba0d5 100644
--- a/.gitignore
+++ b/.gitignore
@@ -12,3 +12,4 @@
 /tags
 /doc/docs
 /benchmarks
+/README.html