Merge branch 'vendor/TEXINFO'
authorJohn Marino <draco@marino.st>
Sun, 1 May 2011 14:20:09 +0000 (16:20 +0200)
committerJohn Marino <draco@marino.st>
Sun, 1 May 2011 14:20:09 +0000 (16:20 +0200)
commitf4adac144155d07c3ab86f35cba1908ed22c33b4
tree19c0b606de0dd88b34fb3f87629fa0b459c84b53
parentd54626853b8a89f71d80b369889ebe0bde2158b6
parentc7f1ec34516c6991cf77a5d87547937634cfa1bd
Merge branch 'vendor/TEXINFO'