make-rulenames
changeset 6162 484adda70b65
parent 0 a5a9c433f639
equal deleted inserted replaced
6161:bc2a76ce1ea3 6162:484adda70b65