mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
 |
.. | drwxr-xr-x | |||
 |
build-tools/src | drwxr-xr-x | tree | history | zip | gz | ||
|
ext | drwxr-xr-x | tree | history | zip | gz | ||
|
lib | drwxr-xr-x | tree | history | zip | gz | ||
|
resource | drwxr-xr-x | tree | history | zip | gz | ||
|
src | drwxr-xr-x | tree | history | zip | gz | ||
|
tests | drwxr-xr-x | tree | history | zip | gz | ||
 |
PRODUCT | 1 KB | -rw-r--r-- | view | raw | blame | history | |
|
build.bat | 1 KB | -rw-r--r-- | view | raw | blame | history | |
|
build.sh | 2 KB | -rwxr-xr-x | view | raw | blame | history | |
 |
build.xml | 47 KB | -rw-r--r-- | view | raw | blame | history |
