projects / tatoo.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (from parent 1: 1972639)
Add AUTHORS file
authorKim Nguyễn <kn@lri.fr>
Sat, 23 Mar 2013 18:44:48 +0000 (19:44 +0100)
committerKim Nguyễn <kn@lri.fr>
Sat, 23 Mar 2013 18:44:48 +0000 (19:44 +0100)
AUTHORS [new file with mode: 0644] patch | blob

diff --git a/AUTHORS b/AUTHORS
new file mode 100644 (file)
index 0000000..71f3594
--- /dev/null
+++ b/AUTHORS
@@ -0,0 +1,2 @@
+Kim Nguyễn <kn@lri.fr>
+
Tree Automata TOOlkit