Closed dimpase closed 7 years ago
Thanks, fixed now. Unfortunately I somehow missed this issue, else I'd have fixed it right in April :-(.
(Background: This was caused by a bug in an early version of my release script, which put the HTML files into the wrong place)
the link to the manual on http://gap-packages.github.io/ace/ is not working.