diff options
author | Rogan Creswick <creswick@galois.com> | 2012-03-31 08:07:24 -0700 |
---|---|---|
committer | Rogan Creswick <creswick@galois.com> | 2012-03-31 08:07:24 -0700 |
commit | 780bf48de85215f5b0b6fde0df40599ac6f9c037 (patch) | |
tree | 5bee199496c9fd5c3a29f9ea12c9b5a3b618e99a | |
parent | c7cecc7b9b863a75a772930e0aaa1fbceea4d1f8 (diff) |
removed binaries from source repo - they are now on gh-pages branch
-rw-r--r-- | binaries/fiveui.crx | bin | 11691299 -> 0 bytes |
-rw-r--r-- | binaries/fiveui.xpi | bin | 13606170 -> 0 bytes |
2 files changed, 0 insertions, 0 deletions
diff --git a/binaries/fiveui.crx b/binaries/fiveui.crx Binary files differdeleted file mode 100644 index a4a8476..0000000 --- a/binaries/fiveui.crx +++ /dev/null diff --git a/binaries/fiveui.xpi b/binaries/fiveui.xpi Binary files differdeleted file mode 100644 index 00457a7..0000000 --- a/binaries/fiveui.xpi +++ /dev/null |