Reverting change to decimation to fix compatibility with
-rw-r--r-- 91 COPYING
-rw-r--r-- 11315 README
drwxr-xr-x - extern
drwxr-xr-x - intern
drwxr-xr-x - projectfiles
drwxr-xr-x - source