new option filenames_utf8
commitef43c2f5cd9b8363e6081d384e9529758388cb79
authorygrek <ygrek@autistici.org>
Sun, 3 Jul 2011 21:08:48 +0000 (4 00:08 +0300)
committerygrek <ygrek@autistici.org>
Fri, 11 Jan 2013 14:02:01 +0000 (11 16:02 +0200)
treea077b1bf6e710d81f8d371a366c2ebac7c5b9169
parent712691a99ad8a3f68f17e0dfffc06540cfc31fe9
new option filenames_utf8

use utf8 for filenames disregarding the locale setting
src/daemon/common/commonInteractive.ml
src/daemon/common/commonOptions.ml
src/daemon/driver/driverCommands.ml