remove Makefile.inc (only affects nhc98)
authorMalcolm.Wallace@cs.york.ac.uk <unknown>
Tue, 20 Mar 2007 12:00:57 +0000 (12:00 +0000)
committerMalcolm.Wallace@cs.york.ac.uk <unknown>
Tue, 20 Mar 2007 12:00:57 +0000 (12:00 +0000)
commitc713f3fc26d44c4c258cd9887b3d601c29c413b2
tree86e272b9917298114d9d1d345fd853e141010641
parentb66a730b881d05c34c0dfe2da052b5fa01429244
remove Makefile.inc (only affects nhc98)
Makefile.inc [deleted file]