Closed kjs73 closed 10 years ago
This changes the names of some members of pattern manager to make them clearer. This is based on our previous discussion.
Coverage remained the same when pulling 83e0d578c716318340448e54f26dcf111395b05d on kjs73:pattern_names into 6606e0dcb0289c0f74d08b55735db498adb0fe02 on pele-python:master.
This changes the names of some members of pattern manager to make them clearer. This is based on our previous discussion.