minor changes according to JLint
[mir.git] / doc /
drwxr-xr-x   ..
-rwxr-xr-x 7330 CODESTRUCTURE
-rwxr-xr-x 1313 CODINGSTYLE
-rwxr-xr-x 2827 DC.txt
-rwxr-xr-x 9408 INSTALL.mir
-rwxr-xr-x 1896 INTERNATIONALIZATION.howto
-rwxr-xr-x 1163 KNOWN_BUGS
-rwxr-xr-x 563 LOCALIZER.HOWTO
-rwxr-xr-x 20269 LONG.INSTALL.mir
-rwxr-xr-x 636 MAINTENANCE.postgresql
-rwxr-xr-x 3941 README
-rwxr-xr-x 253 README.jikes
-rwxr-xr-x 1809 REPORTING_BUGS
-rwxr-xr-x 3068 TODO.txt
-rwxr-xr-x 1322 UPGRADING.mir
-rwxr-xr-x 983 mission.html