/platex-dockerfile

platex dockerfile (with build-essentials)

This repository is not active