remove obsolete Hugs stuff
authorRoss Paterson <ross@soi.city.ac.uk>
Mon, 4 Sep 2006 22:39:44 +0000 (22:39 +0000)
committerRoss Paterson <ross@soi.city.ac.uk>
Mon, 4 Sep 2006 22:39:44 +0000 (22:39 +0000)
commitbe2f4b694d9574f76c6cc1c723e5ac36b35c2e03
tree98458226dbad4b0c08d98a38b1f5f92b39e31f64
parent115f2822388b798fb2adb8946a40d55782b0d0a8
remove obsolete Hugs stuff
hugs/exclude [deleted file]