-
Johannes Müller authored* Fix docs directory in .gitignore (renamed in #4937) * Fix docs directory in Makefile (renamed in #4937) * Fix docs directory in bin/ci (renamed in #4937)
e095e937
After you've reviewed these contribution guidelines, you'll be all set to
contribute to this project.