Merge branch 'master' of git+ssh://uvafon.hum.uva.nl/u/rob/git/CGIscriptor
treef5722b96b396fe8d1f5be58edb49abd345ea18ef
-rw-r--r-- 9132 BinaryMapFile.xmr
-rw-r--r-- 69181 CGIscriptor.html
-rwxr-xr-x 189145 CGIscriptor.pl
-rw-r--r-- 16683 CGIservlet.html
-rwxr-xr-x 54241 CGIservlet.pl
-rwxr-xr-x 3355 CGIservletSETUP.pl
-rw-r--r-- 2140 Hello.html
-rw-r--r-- 7681 README.txt
-rwxr-xr-x 1696 StartServlet
-rwxr-xr-x 21 StopServlet
-rw-r--r-- 20727 gpl.html
-rwxr-xr-x 18011 gpl.txt
-rw-r--r-- 2399 index.html
-rwxr-xr-x 6123 philosophical-gnu-sm.jpg
-rw-r--r-- 1930 test.html