patch #6379
commita84a58ba5ddec43d52ec92d87d67b653fe3a5c5a
authorspiralvoice <spiralvoice>
Sat, 19 Jan 2008 11:37:05 +0000 (19 11:37 +0000)
committerspiralvoice <spiralvoice>
Sat, 19 Jan 2008 11:37:05 +0000 (19 11:37 +0000)
treeeb8675ab90df97f6f4285b45c0f39330a7a589e5
parent56788f1a108d4941121c5f99ffddbdb69d220865
patch #6379
distrib/ChangeLog
src/daemon/driver/driverInteractive.ml