Edgar Bonet 66efefba7b CI: run Doxygen on the src directory ...

Now that the sources have moved to src, the script
doxy_gen_and_deploy.sh has to be told where to look for them.
Otherwise we end up with an empty documentation site.

2021-07-31 18:28:18 +02:00

..

workflows

CI: run Doxygen on the src directory

2021-07-31 18:28:18 +02:00

ISSUE_TEMPLATE.md

Add GitHub issue template

2016-05-27 13:42:51 -07:00

PULL_REQUEST_TEMPLATE.md

Add GitHub pull request template

2016-05-27 13:37:41 -07:00