switched to HTTPS
-rwxr-xr-x 118 .gitignore
-rw-r--r-- 7048 COPYING
-rw-r--r-- 84 TODO.org
drwxr-xr-x - doc
-rw-r--r-- 4883 pom.xml
drwxr-xr-x - src
drwxr-xr-x - tools