diff options
| author | UnavailableDev <69792062+UnavailableDev@users.noreply.github.com> | 2023-05-22 09:52:24 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-05-22 09:52:24 +0200 |
| commit | 9540b10df8b89eee39dc2eccb26286baa7626891 (patch) | |
| tree | 372cdf114a176e8d818e96468f9c05978a78fcf5 /doc/refs.bib | |
| parent | ac1884bec264d08dc5cc58d1cda24e20734c9205 (diff) | |
| parent | 5e2cfc62ca7d724e6f9e2a4081e0cb5f948ffc71 (diff) | |
Merge branch 'lonkaars:master' into master
Diffstat (limited to 'doc/refs.bib')
| -rw-r--r-- | doc/refs.bib | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/doc/refs.bib b/doc/refs.bib new file mode 100644 index 0000000..e69de29 --- /dev/null +++ b/doc/refs.bib |