in reply to delete a line from a file

See Writeup formatting tips for help with formatting code.