diff shelltools/edit-pr/Makefile @ 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 5f36d8d69aba
children
line wrap: on
line diff