minor fix
commitbddc9020a3c286e2b31e5e7f5c0e3163600d10ef
authorygrek <ygrek@autistici.org>
Sun, 14 Mar 2010 20:32:39 +0000 (14 22:32 +0200)
committerygrek <ygrek@autistici.org>
Sun, 6 Jun 2010 07:57:38 +0000 (6 10:57 +0300)
treeb84763ba3a8a409f2c5f2125d34ef20ffc1e99b1
parent7ebc49b5c23b302af8f1049959106dec38460926
minor fix
src/utils/lib/options.ml4