/licence/ default tip
drwxr-xr-x [up]
-rw-r--r-- 2018-02-10 17:11 +0100 90251 gpl-3.0.pdf
-rw-r--r-- 2018-02-10 17:11 +0100 35464 gpl-3.0.tex
-rw-r--r-- 2018-02-10 17:11 +0100 35147 gpl-3.0.txt
-rw-r--r-- 2018-02-10 17:11 +0100 228 licence.txt