mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: ad42fe80 | patch | commit | show whitespace
jvergara
06.55.2009 32a2b6bbbb5a9e15b453632206a3b36d444b07d4 
Add new line at the end of file.
1 files modified
changed files
opends/src/messages/messages/admin_tool.properties patch | view | raw | blame | history 
 opends/src/messages/messages/admin_tool.properties