diff options
| author |  Trevor Elliott <trevor@galois.com> | 2013-05-23 14:11:49 -0700 |
|---|---|---|
| committer | Trevor Elliott <trevor@galois.com> | 2013-05-23 14:11:49 -0700 |
| commit | c36a7ca2312f970f8e8ccd2a993be456cfa6550c (patch) | |
| tree | 06597ba112fe402ccbcfb2c07daa39f79322fc8d /tools | |
| parent | 0d2685932e23b3ae37bbcc50fea756f22356207a (diff) | |
Remove the codemirror interface to the rule sets
* Switch to loading the rules out of a manifest file
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions