aboutsummaryrefslogtreecommitdiff
path: root/dot.signature--automata
diff options
context:
space:
mode:
Diffstat (limited to 'dot.signature--automata')
-rw-r--r--dot.signature--automata5
1 files changed, 5 insertions, 0 deletions
diff --git a/dot.signature--automata b/dot.signature--automata
new file mode 100644
index 0000000..5663bbc
--- /dev/null
+++ b/dot.signature--automata
@@ -0,0 +1,5 @@
+Lehrstuhl für Informatik 7 (Logik und Theorie diskreter Systeme)
+RWTH Aachen
+
+Thomas Schneider
+IT-Administration