mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
blame | history | patch | commit | commitdiff | ignore whitespace
neil_a_wilson
09.09.2006 0fa192a1339589843983321eaca73859e638fc65 
 opends/resource/bin/verify-index

old mode 100644
new mode 100755