mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: 0fe571 | patch | commitdiff
ctissot
21.36.2008 e74642a22efd7e5b27712f54112224e7ff26779c
refs
author ctissot <ctissot@localhost>
Monday, April 21, 2008 10:36 +0200
committer ctissot <ctissot@localhost>
Monday, April 21, 2008 10:36 +0200
commite74642a22efd7e5b27712f54112224e7ff26779c
tree 90030fc84141ca4924860460fe432343c86c58be tree | zip | gz
parent 0fe571a657638b6d5c6ef9c2985d88011a8032e5 view | diff 
Put back the example-plugin target in build.xml
1 files modified
2 ■■■■■ changed files
opendj-sdk/opends/build.xml 2 ●●●●● diff | view | raw | blame | history