comparison runner/MultiplexedReader.h @ 189:089f1a13963d

Require (and provide) text codec for output stream -- fixing #1153 (wrong codec used when writing RDF)
author Chris Cannam
date Mon, 02 Mar 2015 17:17:59 +0000
parents 7b60603966cf
children 3f7c65f26559
comparison
equal deleted inserted replaced
188:cbbf8a838b47 189:089f1a13963d