directory / @ 10081:9425ee69f798 tip

name size permissions
[up] drwxr-xr-x
dir. scripts/ drwxr-xr-x
dir. src/ drwxr-xr-x
file .gitignore 399 -rw-r--r--
file .hgignore 1175 -rw-r--r--
file .hgtags 12394 -rw-r--r--
file DEVELOPERS.README 597 -rw-r--r--
file INSTALL.APPSERVER.README 2421 -rw-r--r--
file INSTALL.README 1179 -rw-r--r--
file INSTALL.README.HEAD 6643 -rw-r--r--
file LICENSE 10982 -rw-r--r--
file NOTICE.TXT 13929 -rw-r--r--
file README.md 855 -rw-r--r--
file TESTING.README.LATEST 4113 -rw-r--r--
file olat.local.properties.sample 4472 -rw-r--r--
file pom.xml 88342 -rw-r--r--