diff shelltools/query-pr/query.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 298c8a7f5181
line wrap: on
line diff