make-rulenames
changeset 7072 c3f3fd86e11c
parent 0 a5a9c433f639
equal deleted inserted replaced
7071:55b80ec1927d 7072:c3f3fd86e11c