chiark / gitweb /
~ijackson / trains.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7d26193) | patch
Clearer definition of meaning of margins, maxinto, etc.
authorian <ian>
Sun, 27 Jul 2008 16:00:15 +0000 (16:00 +0000)
committerian <ian>
Sun, 27 Jul 2008 16:00:15 +0000 (16:00 +0000)
commitd389d5552c7fc3ab918b8e98db2e0194f3824ebd
tree7dcac9faeb7f30d644b7f631fcd74ea09e79b916tree | snapshot
parent7d261934d68de7d5a19e84ec7a228e9f55754675commit | diff
Clearer definition of meaning of margins, maxinto, etc.
hostside/safety.c diff | blob | history
hostside/safety.h diff | blob | history
Unnamed repository; edit this file to name it for gitweb.