Merge /pub/main
[educational.data.git] / KOM / 
tree10cd553d70ee163d90e5587d0c51f7239c9a7df2
drwxr-xr-x   ..
-rw-r--r-- 0 AUTHORS
-rw-r--r-- 17992 COPYING
-rw-r--r-- 0 ChangeLog
-rw-r--r-- 7831 INSTALL
-rw-r--r-- 20 Makefile.am
-rw-r--r-- 0 NEWS
-rw-r--r-- 0 README
-rw-r--r-- 326 configure.in
-rw-r--r-- 125 reconf
drwxr-xr-x - src