chdemko / pandoc-numbering

Completed

by Christophe

created 2017-10-18 15:26 UTC

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

8.56

▶ ± 0

Head	Christophe Demko 2017-10-18 17:26 GMT+0200 Adding sudo
Base	Christophe Demko 2017-10-18 14:06 UTC Detecting correct pandoc version