[myank] Keep *mclef, *oclef, *mmet and *omet interpretations#95
Open
WolfgangDrescher wants to merge 2 commits intocraigsapp:masterfrom WolfgangDrescher:myank
+994-22
*mclef, *oclef, *mmet and *omet interpretations#95