chdemko / pandoc-numbering

Completed

by Christophe

created 2016-06-03 16:14 UTC

There were no notable changes in the changeset which was inspected.

4.15

▶ ± 0

Head	Christophe Demko 2016-06-03 18:14 GMT+0200 Converting to unicode
Base	Christophe Demko 2016-06-03 16:10 UTC Converting to unicode