diff options
| author | w0rp <w0rp@users.noreply.github.com> | 2017-12-04 16:14:20 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-12-04 16:14:20 +0000 |
| commit | 159733c45998e87c9b15a60112319b5e77c63e65 (patch) | |
| tree | d2d70c10931d96631fdb1c1bba3559e644293dca /doc/ale-idris.txt | |
| parent | 2f9869de44cf4b9542fc79a4c4566aa268910b23 (diff) | |
| parent | fba3c57872de0ebf77586399405a25552298ad1b (diff) | |
| download | ale-159733c45998e87c9b15a60112319b5e77c63e65.zip | |
Merge pull request #1191 from deltaskelta/add-importjs-fixer
added importjs fixer
Diffstat (limited to 'doc/ale-idris.txt')
0 files changed, 0 insertions, 0 deletions