diff options
| author |  Trevor Elliott <trevor@galois.com> | 2013-06-07 11:59:57 -0700 |
|---|---|---|
| committer | Trevor Elliott <trevor@galois.com> | 2013-06-07 11:59:57 -0700 |
| commit | 8690d56ff0bbd1031e8cc6788dd2159aac6b7adb (patch) | |
| tree | d573336305dc756f357f20dd986f77cb3ceafb9b /contexts/package.json | |
| parent | f42930c2226d07482725b03ad522c106c0bdec8b (diff) | |
Reorganize the build system
* Move all javascript source to src/js
* Update the test runner, etc.
* Do less javascript compilation
Diffstat (limited to 'contexts/package.json')
| -rw-r--r-- | contexts/package.json | 16 |
1 files changed, 0 insertions, 16 deletions
diff --git a/contexts/package.json b/contexts/package.json deleted file mode 100644 index eea95f1..0000000 --- a/contexts/package.json +++ /dev/null @@ -1,16 +0,0 @@ -{ - "name": "fiveui", - "fullName": "Five UI", - "license": "BSD 3", - "author": "Galois (http://galois.com)", - "contributors": [ "Rogan Creswick <creswick@galois.com>", - "Trevor Elliot <trevor@galois.com>", - "Benjamin Jones <bjones@galois.com>" - ], - "version": "0.2", - "id": "jid1-oquzbbbog1fmxq", - "description": "UI Constraint Checker", - "lib": "data/", - "main": "target/firefox-main", - "tests": "data/fiveui/firefox/test" -} |