mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: 305000 | patch | commitdiff
ludovicp
31.55.2010 891a05af3f913836ec3e2b756d37a8fb96be2d67
refs
author ludovicp <ludovicp@localhost>
Monday, May 31, 2010 14:55 +0200
committer ludovicp <ludovicp@localhost>
Monday, May 31, 2010 14:55 +0200
commit891a05af3f913836ec3e2b756d37a8fb96be2d67
tree a60d68b15f99171da2b5ad5e8b684360de166dfa tree | zip | gz
parent 3050004f8907c956303e7451b551300909459e92 view | diff 
Fix possible build issue in example-plugin
1 files modified
60 ■■■■■ changed files
opends/resource/admin/example-plugin/build.xml 60 ●●●●● diff | view | raw | blame | history