From 8b5d3c6b75744cf5938f253d20f367999e92b1a7 Mon Sep 17 00:00:00 2001
From: Trevor Elliott <trevor@galois.com>
Date: Fri, 7 Jun 2013 16:42:11 -0700
Subject: Remove the addon-sdk from the repo, and download it on demand

---
 tools/.gitignore | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'tools/.gitignore')

diff --git a/tools/.gitignore b/tools/.gitignore
index 0e6e7ab..1846cd0 100644
--- a/tools/.gitignore
+++ b/tools/.gitignore
@@ -1 +1 @@
-addon-sdk-*/doc
+addon-sdk-*
-- 
cgit v1.2.3