mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: 4c15db | patch | commitdiff
jdemendi
12.51.2007 5b9a8e7f94e6f0af2453319d5c528340a1ccb3e3
refs
author jdemendi <jdemendi@localhost>
Friday, October 12, 2007 08:51 +0200
committer jdemendi <jdemendi@localhost>
Friday, October 12, 2007 08:51 +0200
commit5b9a8e7f94e6f0af2453319d5c528340a1ccb3e3
tree c2acf7686d5278af2c9a557bbc56fd2f386617da tree | zip | gz
parent 4c15dbb9e9c9e369dcb56dad014a9d47165a65be view | diff 
Add copymessages target so that it can be called from an IDE.

1 files modified
21 ■■■■■ changed files
opends/build.xml 21 ●●●●● diff | view | raw | blame | history