Added a dupe prevention mechanism for comments.
[mir.git] / doc /
drwxr-xr-x   ..
-rwxr-xr-x 169 CHANGES.txt
-rwxr-xr-x 2827 DC.txt
-rwxr-xr-x 1814 INSTALL.mir
-rwxr-xr-x 2131 INSTALL.postgresql
-rwxr-xr-x 1301 STRUKTUR.txt
-rwxr-xr-x 2066 TODO.txt
-rwxr-xr-x 432 classpath.sh
-rwxr-xr-x 55 classpathrc
-rwxr-xr-x 708 makejavadoc.sh