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

ludovicp
31.55.2010 5d4f00b8a80261d04ae1b0fbfcf108f3c0efdffd
refs
author ludovicp <ludovicp@localhost>
Monday, May 31, 2010 14:55 +0200
committer ludovicp <ludovicp@localhost>
Monday, May 31, 2010 14:55 +0200
commit5d4f00b8a80261d04ae1b0fbfcf108f3c0efdffd
tree a5ef8130b29b2ea57695b03b16ded3b0bb482614 tree | zip | gz
parent db96af145ee58bc2e3f50a5835699428e2dbe4eb view | diff
Fix possible build issue in example-plugin
1 files modified
60 ■■■■■ changed files
opendj-sdk/opends/resource/admin/example-plugin/build.xml 60 ●●●●● diff | view | raw | blame | history