diff options
| author | w0rp <w0rp@users.noreply.github.com> | 2019-09-12 22:59:20 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-09-12 22:59:20 +0100 |
| commit | 321ee6d26bfbbc33dbf3a644fb7b0bd0cc8568bd (patch) | |
| tree | 7a2b9dff800354055c5de5d766d51f0bc904f68e /doc/ale-idris.txt | |
| parent | 58b7c281c5beea4e68436412e68660a89be66e8d (diff) | |
| parent | cf47bda024c3f9ef7f2e754414956aa544433db1 (diff) | |
| download | ale-321ee6d26bfbbc33dbf3a644fb7b0bd0cc8568bd.zip | |
Merge pull request #2738 from Joshuao95/patch-1
Update irrelevant JSCS site link
Diffstat (limited to 'doc/ale-idris.txt')
0 files changed, 0 insertions, 0 deletions