diff options
| author | UnavailableDev <69792062+UnavailableDev@users.noreply.github.com> | 2023-06-06 12:00:58 +0200 |
|---|---|---|
| committer | UnavailableDev <69792062+UnavailableDev@users.noreply.github.com> | 2023-06-06 12:00:58 +0200 |
| commit | 077069b82a34bd5e0d51509eb751df9b44a5f6d3 (patch) | |
| tree | 1753f1266c2837282c7a1f7ce8137161c85a1a0a /doc/.gitignore | |
| parent | f2335307a26a8ab3e18d8990d2640a8de4cbd0e4 (diff) | |
| parent | 0f764db3c3595e863a4949c67592451c7d65a2cf (diff) | |
Merge branch 'master' of https://github.com/unavailabledev/avans-dui
Diffstat (limited to 'doc/.gitignore')
| -rw-r--r-- | doc/.gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/.gitignore b/doc/.gitignore index e5139ef..8e7ebcc 100644 --- a/doc/.gitignore +++ b/doc/.gitignore @@ -17,3 +17,4 @@ # ignore output files *.pdf +versionctl.tex |