This repository has been archived by the owner on Jun 2, 2023. It is now read-only.

Remove duplicate buildfiles, as they already reside in the main pentext repository #5

Open

PeterMosmans opened this issue Jun 21, 2017 · 0 comments

Collaborator

PeterMosmans commented Jun 21, 2017

Also remove files that have become redundant (proxy_vagrant, ... ) - due to the new Makefile

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.