2c458dcd2d4a6dc61c99f38f642b5a2375485c4e
-rw-r--r-- 9 .gitignore
-rw-r--r-- 41126 changes.txt
-rw-r--r-- 27485 gpl.html
drwxr-xr-x - obsolete
-rw-r--r-- 15324 pcrs.3
drwxr-xr-x - source
-rw-r--r-- 40140 standards.html
drwxr-xr-x - webserver