get-rulenames
changeset 3872 a5839ecee7b8
parent 0 a5a9c433f639
equal deleted inserted replaced
3871:8b1b0d493ca9 3872:a5839ecee7b8