diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2015-01-12 20:43:55 -0800 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2015-01-12 20:43:55 -0800 |
| commit | 92ace5f0d4ddf3f5f1d612bb0e5f0f3ade4b5adf (patch) | |
| tree | 6763a21daca1dce97aeef1c88a2a1684e7253bd3 | |
| parent | fed6a57f30ecdbcf4805b1900dd0f164856c1163 (diff) | |
Moved spec2js.js to tools/.
| -rwxr-xr-x | tools/spec2js.js (renamed from spec2js.js) | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/spec2js.js b/tools/spec2js.js index 6bf366f..6bf366f 100755 --- a/spec2js.js +++ b/tools/spec2js.js |