diff options
| author | w0rp <w0rp@users.noreply.github.com> | 2019-02-20 09:54:13 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-02-20 09:54:13 +0000 |
| commit | 707a42167f184355b64e1368a5e390dffc0cb885 (patch) | |
| tree | 4c92c8f141a4f4dda015d5c818c2150ad532b313 /test/handler/test_idris_handler.vader | |
| parent | 09cbd70d9bc49dee421e0d4fdb252f8a77d8b1d6 (diff) | |
| parent | 3300b1aca7f53a8468547194d074e1cb5bc55e15 (diff) | |
| download | ale-707a42167f184355b64e1368a5e390dffc0cb885.zip | |
Merge pull request #2302 from kevinoid/pylint-cd-proj-root
python/pylint: Change directory to project root
Diffstat (limited to 'test/handler/test_idris_handler.vader')
0 files changed, 0 insertions, 0 deletions