remove directory, pretty, and random bits from base for nhc98
authorMalcolm.Wallace@cs.york.ac.uk <unknown>
Thu, 24 May 2007 16:06:08 +0000 (16:06 +0000)
committerMalcolm.Wallace@cs.york.ac.uk <unknown>
Thu, 24 May 2007 16:06:08 +0000 (16:06 +0000)
commitf6ed39fca9d2279c9eda53477b61d442364f6ae1
tree154a133f20f29382ebed17a2dbddbd99bfeec800
parent5d5dfc30decbace8706c4fec1e46b291282141e5
remove directory, pretty, and random bits from base for nhc98
Makefile.nhc98