Minor addendum to ed85829496ed28070ecce581ffe75c99
-rw-r--r-- 11358 COPYING
-rw-r--r-- 835 Makefile
drwxr-xr-x - config
drwxr-xr-x - packaging
drwxr-xr-x - src
drwxr-xr-x - tests