diff options
| author | Erin Moon <erin@hecke.rs> | 2021-01-19 17:16:53 -0600 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-01-19 17:16:53 -0600 |
| commit | dcc9b877740eb57eab2fb7ff4db6c0d289bfdeb0 (patch) | |
| tree | 9ed23db094b46e7e66f931b119d54f76f1c029f2 /src | |
| parent | f33e47c0319daa9422922f17d63eac84508bc970 (diff) | |
fix branch name in doxygen workflow
i forgot that we use `master` and not the github convention of `main`
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions