special case not needed, should be fixed now
commitab55e9ae76bfa957169418a716f4f5e04d2f070d
authorygrek <ygrek@autistici.org>
Wed, 1 Dec 2010 20:35:50 +0000 (1 22:35 +0200)
committerygrek <ygrek@autistici.org>
Thu, 2 Dec 2010 21:30:19 +0000 (2 23:30 +0200)
tree30967e3109d4d188983b1f98b6f3004e5b94ab6e
parent18ed64fc29d6ae0a4f43d4ad3d39c1cc59e46179
special case not needed, should be fixed now
src/daemon/common/commonComplexOptions.ml