de-activated insert-points for now
tree30de5822e4cad87a8f77f668d454d0266d91742f
-rw-r--r-- 92 .cvsignore
-rw-r--r-- 747 .gitignore
-rw-r--r-- 385 .hgignore
drwxr-xr-x - manual
drwxr-xr-x - src