mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git

Valery Kharseko
4 hours ago 6944d15f1172126bfcbaf3817d4624721285b3fe
refs
author Valery Kharseko <vharseko@3a-systems.ru>
Thursday, October 1, 2026 12:24 +0200
committer GitHub <noreply@github.com>
Thursday, October 1, 2026 12:24 +0200
commit6944d15f1172126bfcbaf3817d4624721285b3fe
tree 2b292074cca7e4c772f56df691369c20154e0731 tree | zip | gz
parent 429a25b92b7036e6387c58edc26099a7cb68978e view | diff
[#1136] Remove the unused DocBook xinclude supplements from the server tool messages (#1141)
1 files modified
2 ■■■■■ changed files
opendj-server-legacy/src/messages/org/opends/messages/tool.properties 2 ●●●●● diff | view | raw | blame | history