update

2026-09-10 21:45:30 +00:00 · 2018-09-14 11:56:02 +02:00
parent e0b529b91a
commit a807f5eb1e
45 changed files with 53 additions and 14 deletions
--- a/.gitconfig
+++ b/.gitconfig
@@ -0,0 +1,5 @@
+# This is Git's per-user configuration file.
+[user]
+# Please adapt and uncomment the following lines:
+	name = Daniel Bauer
+	email = bauer@cbs.tu-darmstadt.de