Support '-' on the command line as an aliase for /dev/stdout.
authorKim Nguyễn <kn@lri.fr>
Sat, 20 Oct 2012 17:09:21 +0000 (19:09 +0200)
committerKim Nguyễn <kn@lri.fr>
Sat, 20 Oct 2012 17:09:21 +0000 (19:09 +0200)
commit4de8e95b17adf047c7789f44ec0ba64fd02b0b5a
tree952ffe67f0ecc49aea2d42892a291a894bcfa0a1
parentc560c779122e09b6c38c3167623c3e6e40abe7fc
Support '-' on the command line as an aliase for /dev/stdout.
src/options.ml