diff options
| author | Marc Delage <geam.creadl@gmail.com> | 2016-10-11 00:48:41 +0200 |
|---|---|---|
| committer | w0rp <w0rp@users.noreply.github.com> | 2016-10-10 23:48:41 +0100 |
| commit | 9a519684f2bc996e2d8dcb528bd53068291d10ed (patch) | |
| tree | 1202bef7ceaada6dbafd6fae8cdc6f3fce286d78 /.gitignore | |
| parent | c37e05394434a2f65deabe29b597a844b84c4a2c (diff) | |
| download | ale-9a519684f2bc996e2d8dcb528bd53068291d10ed.zip | |
add shellcheck option to the doc and sort options by theme (#85)
* add shellcheck options to the doc
* sort option by theme
* correct text for shellcheck option
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions