diff options
| author | w0rp <w0rp@users.noreply.github.com> | 2018-01-30 16:04:44 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-01-30 16:04:44 +0000 |
| commit | 52fe924a139b8ae3d087cba0d9a5199054ae0595 (patch) | |
| tree | 0c6510dfbd754c024608ab1b008d554825e4b2de /doc/ale-idris.txt | |
| parent | c589e3d57d2a4d37445a4b97648c08e1b9741304 (diff) | |
| parent | 4df87eaaddfceaddd625294c0e601aebf2f68a85 (diff) | |
| download | ale-52fe924a139b8ae3d087cba0d9a5199054ae0595.zip | |
Merge pull request #1308 from lorenzo/patch-1
Improving hadolint checker
Diffstat (limited to 'doc/ale-idris.txt')
0 files changed, 0 insertions, 0 deletions