]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/http_getter/AUTHORS
Added preliminary support for gzipped library
[helm.git] / helm / http_getter / AUTHORS
index 1088c56891151e79d009722f2b7533c28ca3040d..72c65aaa008e0d1ddd0654b63dfbd584e33452eb 100644 (file)
@@ -1 +1,2 @@
 Claudio Sacerdoti Coen <sacerdot@cs.unibo.it>
+Stefano Zacchiroli <zacchiro@cs.unibo.it>