diff options
| author | w0rp <w0rp@users.noreply.github.com> | 2017-10-12 19:06:00 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-10-12 19:06:00 +0100 |
| commit | 3ddbe48d843b4082b5079925c063d75fa3d18d88 (patch) | |
| tree | b53b501cd83f21705fe4225457562535e2064aa4 /doc/ale-idris.txt | |
| parent | 844354cfed8179181cf69ff8a38937ec4245abbb (diff) | |
| parent | d8a638f38a625a869b6686141f3987092978cccd (diff) | |
| download | ale-3ddbe48d843b4082b5079925c063d75fa3d18d88.zip | |
Merge pull request #993 from butlerx/patch-1
Fix xmllint link
Diffstat (limited to 'doc/ale-idris.txt')
0 files changed, 0 insertions, 0 deletions