This repository was archived by the owner on Jun 2, 2023. It is now read-only.
This repository was 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
Also remove files that have become redundant (proxy_vagrant, ... ) - due to the new Makefile