get-rulenames
changeset 5619 76a8c72e3fd4
parent 0 a5a9c433f639
equal deleted inserted replaced
5618:721671c68324 5619:76a8c72e3fd4