mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: 74c24c | patch | commitdiff
lutoff
14.11.2008 cdd3e65dd8f9675624e7a4225fcca78477a9ff60
refs
author lutoff <lutoff@localhost>
Monday, January 14, 2008 16:11 +0100
committer lutoff <lutoff@localhost>
Monday, January 14, 2008 16:11 +0100
commitcdd3e65dd8f9675624e7a4225fcca78477a9ff60
tree 7105ffbae8130297d6c81c52d8e2f6ffd8fcd9a2 tree | zip | gz
parent 74c24cb4018c880ab5152dfe14319a4d5b628d39 view | diff 
Fix for issue #2640 (Provide RPM delivery)
1 files added
1 files modified
313 ■■■■■ changed files
opends/build.xml 62 ●●●●● diff | view | raw | blame | history
opends/src/build-tools/org/opends/build/tools/GenerateRpm.java 251 ●●●●● diff | view | raw | blame | history