mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: 717fb9 | patch | commitdiff
maximthomas
30.08.2024 50f8aa6371aae644cc227b14175b23f5de2d3c4b
refs
author maximthomas <maxim.thomas@gmail.com>
Wednesday, October 30, 2024 09:08 +0100
committer maximthomas <maxim.thomas@gmail.com>
Wednesday, October 30, 2024 09:08 +0100
commit50f8aa6371aae644cc227b14175b23f5de2d3c4b
tree 5f76ed19b585faca3828db9d30af60ba039babd3 tree | zip | gz
parent 717fb98c1ac275e9bff5501ad4e1b7c19cc42330 view | diff 
Add generated pdf docs archive as an uploaded artifact
2 files modified
51 ■■■■■ changed files
opendj-doc-generated-ref/pom.xml 35 ●●●●● diff | view | raw | blame | history
opendj-doc-generated-ref/src/main/ant/zip.xml 16 ●●●●● diff | view | raw | blame | history