projects / mir.git / tree
| drwxr-xr-x | .. | ||
| -rwxr-xr-x | 7330 | CODESTRUCTURE | blob | history | raw |
| -rwxr-xr-x | 1313 | CODINGSTYLE | blob | history | raw |
| -rwxr-xr-x | 2827 | DC.txt | blob | history | raw |
| -rwxr-xr-x | 9786 | INSTALL.mir | blob | history | raw |
| -rwxr-xr-x | 1896 | INTERNATIONALIZATION.howto | blob | history | raw |
| -rwxr-xr-x | 1163 | KNOWN_BUGS | blob | history | raw |
| -rwxr-xr-x | 20269 | LONG.INSTALL.mir | blob | history | raw |
| -rwxr-xr-x | 1064 | MAINTENANCE.postgresql | blob | history | raw |
| -rwxr-xr-x | 3942 | README | blob | history | raw |
| -rwxr-xr-x | 253 | README.jikes | blob | history | raw |
| -rwxr-xr-x | 1809 | REPORTING_BUGS | blob | history | raw |
| -rwxr-xr-x | 3068 | TODO.txt | blob | history | raw |
| -rwxr-xr-x | 1322 | UPGRADING.mir | blob | history | raw |
| -rwxr-xr-x | 983 | mission.html | blob | history | raw |