comparison shelltools/edit-pr/edit.py @ 11:d42c0db81e28

Update the classification stuff. There are still some rough edges but it should be mostly workable now.
author David A. Holland
date Thu, 15 Mar 2012 04:21:20 -0400
parents c013fb703183
children
comparison
equal deleted inserted replaced
10:1720f45dd495 11:d42c0db81e28