Add discord stuff

This commit is contained in:
Niklas Birk 2023-01-09 19:03:04 +01:00
parent 28fc20e019
commit 8eb7438406
3 changed files with 0 additions and 0 deletions

BIN
discord/david_hilbert.png Normal file

Binary file not shown.

After

Width:  |  Height:  |  Size: 55 KiB

BIN
discord/discord_server.odg Normal file

Binary file not shown.

Binary file not shown.

After

Width:  |  Height:  |  Size: 68 KiB