first cut of merge of STABLE-pre1_0 into HEAD. I won't even guarantee that it
[mir.git] / doc /
drwxr-xr-x   ..
-rwxr-xr-x 169 CHANGES.txt
-rwxr-xr-x 7330 CODESTRUCTURE
-rwxr-xr-x 2827 DC.txt
-rwxr-xr-x 4519 INSTALL.mir
-rwxr-xr-x 2351 INSTALL.postgresql
-rwxr-xr-x 706 MAINTENANCE
-rwxr-xr-x 4320 TODO.txt