mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: efb00e | patch | commitdiff
Maxim Thomas
30.50.2024 82d6d2ca4fac51437ad07e2e90a81c53fad101d1
refs
author Maxim Thomas <maxim.thomas@gmail.com>
Wednesday, October 30, 2024 15:50 +0100
committer GitHub <noreply@github.com>
Wednesday, October 30, 2024 15:50 +0100
commit82d6d2ca4fac51437ad07e2e90a81c53fad101d1
tree b9acbed1a60ff6c555bfd6ab872f123f740357fd tree | zip | gz
parent efb00ec73d7fede35184080a0c31f4aa8789e102 view | diff 
depoloy.yml: Fix documents deploy  (#449)

3 files modified
105 ■■■■■ changed files
.github/workflows/deploy.yml 7 ●●●●● diff | view | raw | blame | history
opendj-doc-generated-ref/pom.xml 82 ●●●●● diff | view | raw | blame | history
opendj-doc-generated-ref/src/main/ant/zip.xml 16 ●●●●● diff | view | raw | blame | history