mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: b01734 | patch | commitdiff
hajma
25.27.2008 714fbd0901cfa963e11129f4342d3898a4249c48
refs
author hajma <hajma@localhost>
Tuesday, November 25, 2008 15:27 +0100
committer hajma <hajma@localhost>
Tuesday, November 25, 2008 15:27 +0100
commit714fbd0901cfa963e11129f4342d3898a4249c48
tree 21c31263ce34657081ea2c983e014faa1c6e22ea tree | zip | gz
parent b017349867f2c33f0a671a3fefacd6774dcbace2 view | diff 
fix typo at tools.properties (issue #3573)
1 files modified
4 ■■■■■ changed files
opends/src/messages/messages/tools.properties 4 ●●●●● diff | view | raw | blame | history