/platex-dockerfile

platex dockerfile (with build-essentials)

No issues in this repository yet.