marcel 2003/07/25 00:52:20 PDT FreeBSD src repository Modified files: sys/ia64/conf SKI Log: Remove INVARIANT* and WITNESS. This makes the simulator much more pleasant to use. Revision Changes Path 1.15 +0 -3 src/sys/ia64/conf/SKI