chiark / gitweb /
~ijackson / trains.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 512f626) | patch
revert suppression of general ping since it's pointless unless we supress the timesta...
authorian <ian>
Mon, 14 Jul 2008 22:17:27 +0000 (22:17 +0000)
committerian <ian>
Mon, 14 Jul 2008 22:17:27 +0000 (22:17 +0000)
commit2357057be1c8f88d1345a96e82fc96edb9e9a622
tree3931d68ad38e61cbadaafd17ccdbb4ddad217ed4tree | snapshot
parent512f6263c59ba196e63c0d7cd745d9ad14b7c446commit | diff
revert suppression of general ping since it's pointless unless we supress the timestamps too
hostside/realtime.c diff | blob | history
hostside/realtime.h diff | blob | history
hostside/startup.c diff | blob | history
Unnamed repository; edit this file to name it for gitweb.