no need for 'mash' subdirectory after removal of Python program
no need for 'mash' subdirectory after removal of Python program

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle