chiark / gitweb /
Merge branch 'pandoc' into 'master'
authorDaniel Martí <mvdan@mvdan.cc>
Tue, 26 May 2015 13:35:13 +0000 (13:35 +0000)
committerDaniel Martí <mvdan@mvdan.cc>
Tue, 26 May 2015 13:35:13 +0000 (13:35 +0000)
commit3b78147b2c562ca9bc9ea475a0b419144581daa0
tree4b44371a385c15f4392056def6dd871bc74c3d4e
parent7b0e8bd01d8b034bcafb9bc80d839f95fcbf0fe2
parentb853609ee15931d0b535f4e3164c0353f34adab9
Merge branch 'pandoc' into 'master'

Add pandoc to buildserver

Closes #64.

See merge request !52