Manual for Pijul

Delete auto-generated files, now that this is taken care of in the deployment scripts

Created by  pmeunier  on November 23, 2020
2AYYR6FKMBQ7FS2U5DNFGZCYPJ2A2L7WSXKHIIYPHV5UWPM4VYYAC
Change contents