diff options
author | Pavel Machek <pavel@ucw.cz> | 2000-04-12 10:34:45 +0000 |
---|---|---|
committer | Pavel Machek <pavel@ucw.cz> | 2000-04-12 10:34:45 +0000 |
commit | 78c6217c1e9f8a46026cecf6a6369b72d5d883b0 (patch) | |
tree | f7265d1198b222cfa12903687ad2d531d6b8878e /nest/rt-dev.c | |
parent | f7d534cf2e8932869b049bd64677bb0a67e362c1 (diff) |
Path printing is now much nicer: not having to put it backward
simplifies it. (Sorry for previous commit, cvs is naughty).
Diffstat (limited to 'nest/rt-dev.c')
0 files changed, 0 insertions, 0 deletions