diff options
| author |  Trevor Elliott <trevor@galois.com> | 2013-06-18 10:19:57 -0700 |
|---|---|---|
| committer | Trevor Elliott <trevor@galois.com> | 2013-06-18 10:19:57 -0700 |
| commit | 3a424883963ab8b62b6f20be663a07bbc8c4783b (patch) | |
| tree | b9e503bcfd82a7dff41fbdd0f8204741721e1993 | |
| parent | aabb32d7d2b3a34ad3747584ebe2766117eeedd0 (diff) | |
| parent | 5c562dbb1c5a07658749cef4f91482a1fe9c59b0 (diff) | |
Merge remote-tracking branch 'github/master'
| -rw-r--r-- | binaries/fiveui.crx | bin | 5785884 -> 407333 bytes | |||
| -rw-r--r-- | binaries/fiveui.xpi | bin | 11936900 -> 1044389 bytes | |||
| -rw-r--r-- | src/js/chrome/manifest.json | 2 | ||||
| -rw-r--r-- | src/js/firefox/package.json | 2 |
4 files changed, 2 insertions, 2 deletions
diff --git a/binaries/fiveui.crx b/binaries/fiveui.crx Binary files differindex cea43c5..2c97c26 100644 --- a/binaries/fiveui.crx +++ b/binaries/fiveui.crx diff --git a/binaries/fiveui.xpi b/binaries/fiveui.xpi Binary files differindex 2f2b094..559fea6 100644 --- a/binaries/fiveui.xpi +++ b/binaries/fiveui.xpi diff --git a/src/js/chrome/manifest.json b/src/js/chrome/manifest.json index 9202276..bbd8711 100644 --- a/src/js/chrome/manifest.json +++ b/src/js/chrome/manifest.json @@ -2,7 +2,7 @@ "manifest_version": 2, "name": "Five UI", - "version": "0.2", + "version": "0.3", "description": "UI Constraint Checker", "icons": { "16": "data/images/fiveui-icon-16.png", diff --git a/src/js/firefox/package.json b/src/js/firefox/package.json index b3b2df2..17a557b 100644 --- a/src/js/firefox/package.json +++ b/src/js/firefox/package.json @@ -7,7 +7,7 @@ "Trevor Elliot <trevor@galois.com>", "Benjamin Jones <bjones@galois.com>" ], - "version": "0.2", + "version": "0.3", "id": "jid1-oquzbbbog1fmxq", "description": "UI Constraint Checker", "lib": "data/", |