aboutsummaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorGravatar Trevor Elliott <trevor@galois.com>2013-06-03 15:23:20 -0700
committerGravatar Trevor Elliott <trevor@galois.com>2013-06-03 15:23:20 -0700
commitd657e80429b4ea758316dc0a307afd2b480e45e4 (patch)
treeea165808e57c9594b7cace307f0b2d5f577c3567 /.gitignore
parentb2e6343765872d981122b358afd76d81403c4240 (diff)
Add a Config.mk for build config
Diffstat (limited to '.gitignore')
-rw-r--r--.gitignore2
1 files changed, 2 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore
index 2df4638..d657933 100644
--- a/.gitignore
+++ b/.gitignore
@@ -9,3 +9,5 @@ chromedriver.log
fiveui.crx
fiveui.xpi
contexts/data/tests/reports
+
+Config.mk