diff options
| author |  Trevor Elliott <trevor@galois.com> | 2013-06-07 16:42:11 -0700 |
|---|---|---|
| committer | Trevor Elliott <trevor@galois.com> | 2013-06-07 16:48:17 -0700 |
| commit | 8b5d3c6b75744cf5938f253d20f367999e92b1a7 (patch) | |
| tree | b516a82c5b198fd080d265e56b3edf19d1180f10 /tools/.gitignore | |
| parent | f37588f9a4c7c6b418c64f03d82d48ecd14da217 (diff) | |
Remove the addon-sdk from the repo, and download it on demand
Diffstat (limited to 'tools/.gitignore')
| -rw-r--r-- | tools/.gitignore | 2 |
1 files changed, 1 insertions, 1 deletions
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-* |