Delete a.txt

Extraneous file checked in by mistake