Add THANKS file.

This commit is contained in:
David Thompson committed 2015-08-09 10:13:18 -04:00
1 parent d24d29fc19
commit a02ac9238d
1 file changed
+1
+1
View File
@@ -0,0 +1 @@
Ben Sturmfels <ben@sturm.com.au>