git://git.jankratochvil.net / nethome.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 74edc89) | patch
Prefer `/tmp/server'.
authorlace <>
Tue, 12 Aug 2008 18:55:43 +0000 (18:55 +0000)
committerlace <>
Tue, 12 Aug 2008 18:55:43 +0000 (18:55 +0000)
commitdb0bb6b4ef21e8f1195c1c4258a69baa705537bc
tree6eccbfc26ca619eedd1faa72dab50943021fb287tree
parent74edc896deab27853d1a13715920901bd6d580fbcommit | diff
Prefer `/tmp/server'.
src/gdb-wrap diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.