mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: 3749c4 | patch | commitdiff
vharseko
13.04.2020 9dbff0de7ceda39e2b856d7c467089a578561d98
refs
author vharseko <vharseko@3a-systems.ru>
Thursday, February 13, 2020 09:04 +0100
committer GitHub <noreply@github.com>
Thursday, February 13, 2020 09:04 +0100
commit9dbff0de7ceda39e2b856d7c467089a578561d98
tree d94a167fbf88a7b168e55bdf06841419d2341e4f tree | zip | gz
parent 3749c431224948fed34dcb10461909f4f7638aa8 view | diff 
FIX comments after change SHA signature
1 files modified
4 ■■■■■ changed files
opendj-server-legacy/src/main/java/org/opends/server/util/Platform.java 4 ●●●●● diff | view | raw | blame | history