Little repository cleanup

Hello!

I don't think these files are still useful, so I deleted them.