mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: 3c85ca | patch | commitdiff
abobrov
09.21.2007 f6f57e05350d688cd13451b51982331f1e58b109
refs
author abobrov <abobrov@localhost>
Monday, April 9, 2007 13:21 +0200
committer abobrov <abobrov@localhost>
Monday, April 9, 2007 13:21 +0200
commitf6f57e05350d688cd13451b51982331f1e58b109
tree f7ac42120dd60b263a530ca65446a91dcb862479 tree | zip | gz
parent 3c85ca83284df5d0f29ef0ce9528b616ddabc424 view | diff 
enable full debug build by default and add build.debuglevel var to tweak javac -g settings.
1 files modified
57 ■■■■■ changed files
opendj-sdk/opends/build.xml 57 ●●●●● diff | view | raw | blame | history