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/addon-sdk | |
parent | f37588f9a4c7c6b418c64f03d82d48ecd14da217 (diff) |
Remove the addon-sdk from the repo, and download it on demand
Diffstat (limited to 'tools/addon-sdk')
l--------- | tools/addon-sdk | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/tools/addon-sdk b/tools/addon-sdk deleted file mode 120000 index b60d920..0000000 --- a/tools/addon-sdk +++ /dev/null @@ -1 +0,0 @@ -addon-sdk-1.12/
\ No newline at end of file |