chiark / gitweb /
do not build safety for now as it does not work
authorian <ian>
Sun, 27 Mar 2005 22:18:58 +0000 (22:18 +0000)
committerian <ian>
Sun, 27 Mar 2005 22:18:58 +0000 (22:18 +0000)
commit242144a6ade2ef1b397131a17272da2b6be512b2
tree53b5ae6e30d687b76446b9e50c157d7bef4e48cb
parent7d38bccebc9156d72f3ebe5a6f352e24ae306cce
do not build safety for now as it does not work
hostside/Makefile