patch applied (hugs98): no longer use hugs/exclude

29 Aug 2007


      Wed Aug 29 08:37:23 PDT 2007  Ross Paterson <ross@soi.city.ac.uk>
  * no longer use hugs/exclude

    M ./libraries/tools/make_bootlib -13 +2