Add AUTHORS.

RubenVerborgh · RubenVerborgh · commit d72e3618582c · 2016-08-14T13:01:37.000-07:00
diff --git a/AUTHORS b/AUTHORS
@@ -0,0 +1,2 @@
+Ruben Verborgh <ruben.verborgh@ugent.be> (http://ruben.verborgh.org/)
+Miel Vander Sande <miel.vandersande@ugent.be>

Original file line number	Diff line number	Diff line change
`@@ -0,0 +1,2 @@`
	`1`	`+Ruben Verborgh <[email protected]> (http://ruben.verborgh.org/)`
	`2`	`+Miel Vander Sande <[email protected]>`