comparison configure @ 1035:d74ebd2d2c49

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 a8f3195b0761
children dbb7f0ab011e
comparison
equal deleted inserted replaced
1025:88b54a185a0a 1035:d74ebd2d2c49