From 3c9fb84ea4beccce0117cfcc6a1a7f0abc5f7e1a Mon Sep 17 00:00:00 2001
From: Brian Norris <banorris@uci.edu>
Date: Wed, 6 Jun 2012 12:22:07 -0700
Subject: [PATCH] .gitignore: ignore docs directory

---
 .gitignore | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.gitignore b/.gitignore
index ab5a84a..d4b7fc4 100644
--- a/.gitignore
+++ b/.gitignore
@@ -7,3 +7,4 @@
 # files in this directory
 /model
 /tags
+/docs
-- 
2.34.1