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

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