diff options
| author | Markus Doits <markus.doits@stellenticket.de> | 2017-09-18 12:28:37 +0200 |
|---|---|---|
| committer | Markus Doits <markus.doits@stellenticket.de> | 2017-09-18 12:29:20 +0200 |
| commit | 5a1ebdb633fd72f802923d35c1665096625208d5 (patch) | |
| tree | 520cc244f5cc77922aaba810db90e37990ccb42c /doc/ale-idris.txt | |
| parent | 8bc66cff39f166562aa1060f4f50e478ebe4dd9b (diff) | |
| download | ale-5a1ebdb633fd72f802923d35c1665096625208d5.zip | |
fix typo `RUBUCOP` --> `RUBOCOP` for slim lint
this actually makes 6ebd8f355c974cb6b7c5d5aff20603c8c4b38feb work
Diffstat (limited to 'doc/ale-idris.txt')
0 files changed, 0 insertions, 0 deletions