add link to documentation

aide / aide.github.io

AIDE website

https://aide.github.io

7 stars 10 forks source link

Closed Zugschlus closed 3 years ago

hvhaugwitz commented 3 years ago

The (outdated) manual is no longer distributed with the source tarball. Hence I close this pull request.