mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: 52d24e | patch | commitdiff
ctissot
21.36.2008 26be2a2d9b7635cb9214223c74ac15941a0f0ee3
refs
author ctissot <ctissot@localhost>
Monday, April 21, 2008 10:36 +0200
committer ctissot <ctissot@localhost>
Monday, April 21, 2008 10:36 +0200
commit26be2a2d9b7635cb9214223c74ac15941a0f0ee3
tree 49a09911d96b5c58b5803b3e20ef9a2268fa6282 tree | zip | gz
parent 52d24e6cf634ba81aeb5d23956a30fed2c27d555 view | diff 
Put back the example-plugin target in build.xml
1 files modified
2 ■■■■■ changed files
opends/build.xml 2 ●●●●● diff | view | raw | blame | history