Better way to kill CamlinternalOO
-rw-r--r-- 46 .cvsignore
-rw-r--r-- 150 MANIFEST
-rw-r--r-- 1822 Makefile
-rw-r--r-- 1090 Makefile.config
-rw-r--r-- 1404 README
-rw-r--r-- 7272 init
-rw-r--r-- 7240 init.in
-rw-r--r-- 2127 ocamlbotwrapper.c
-rw-r--r-- 2094 ocamlbotwrapper.c.in
-rw-r--r-- 523 pa_noexternal.ml
-rwxr-xr-x 5000 xavierbot.pl
-rwxr-xr-x 4992 xavierbot.pl.in