Skip to content

[DOCKER] Pandoc: switch to pandoc/extra:3.1.1#157

Merged
marco-lancini merged 3 commits intomainfrom pandoc-packagesSep 12, 2023

Commits

Commits on Sep 12, 2023