Specifying encoding on database creation
authorAdam Chlipala <adamc@hcoop.net>
Wed, 9 Apr 2008 14:23:57 +0000 (14:23 +0000)
committerAdam Chlipala <adamc@hcoop.net>
Wed, 9 Apr 2008 14:23:57 +0000 (14:23 +0000)

No differences found