# Property file for default HTTP resource editing
shelper=org.w3c.jigadmin.editors.IndexersServerHelper
tooltip=Indexers configuration
editable=false
unremovable=true
