chiark / gitweb /
remove logmsg and vlogmsg
authorian <ian>
Wed, 23 Apr 2008 20:05:35 +0000 (20:05 +0000)
committerian <ian>
Wed, 23 Apr 2008 20:05:35 +0000 (20:05 +0000)
commit3ff696d5b23a03671a80e736548d32e177f8bdcf
treeed8786f5367c7f90a9dc95c1f9d87fe6b2c6495c
parent516b57ebce3521c14478f079db7b5fb201894f70
remove logmsg and vlogmsg
hostside/README.commands
hostside/persist.c
hostside/realtime.c
hostside/safety.c
hostside/safety.h