projects / model-checker.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: e2eb82b)
.gitignore: ignore docs directory
authorBrian Norris <banorris@uci.edu>
Wed, 6 Jun 2012 19:22:07 +0000 (12:22 -0700)
committerBrian Norris <banorris@uci.edu>
Wed, 6 Jun 2012 19:22:07 +0000 (12:22 -0700)
.gitignore patch | blob | history

diff --git a/.gitignore b/.gitignore
index ab5a84ad8ea49a161901625cf3fd22202a3d5851..d4b7fc44362fc1e7b3fe90cc1d994d68ca7a7a29 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -7,3 +7,4 @@
 # files in this directory
 /model
 /tags
+/docs
C++11 memory model checker