diff options
| author |  Jesse Hallett <jesse@galois.com> | 2013-12-19 14:43:25 -0800 |
|---|---|---|
| committer | Jesse Hallett <jesse@galois.com> | 2013-12-19 14:43:25 -0800 |
| commit | e71713d3f54c7856ab9fc3d81d276c6da06a83eb (patch) | |
| tree | a2146c660ef582913e08ce4d41feb42d37a94343 /tools/.gitignore | |
| parent | db04931179b585bb02f88f096c044f3a10e9ed34 (diff) | |
Installs .jshintrc
Diffstat (limited to 'tools/.gitignore')
0 files changed, 0 insertions, 0 deletions