external-software/github_OpenIdentityPlatform_OpenDJ.git - g.central-computer.de

external-software / github_OpenIdentityPlatform_OpenDJ

mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git

first | « prev | next »

Fix a bug in the java properties tools that broke the script because of a m...

jvergara

03.25.2008 2b85eb1c89a0af6bb76b3772c3b8c8ec00ca63b4

23.25.2007

This commit does some initial work in anticipation of the reverter tool:

blob@ f0ecb6

commitdiff | diff to current

first | « prev | next »