Remove obsolete routine
[texmacs.git] / server / 
treeb7523c402e3e89ee85f8d4814377e79c85a5960f
drwxr-xr-x   ..
-rw-r--r-- 19105 LICENSE
-rw-r--r-- 1521 Makefile.in
-rw-r--r-- 881 aclocal.m4
drwxr-xr-x - bin
-rwxr-xr-x 63768 configure
-rw-r--r-- 2533 configure.in
drwxr-xr-x - progs