- Revision 71215: /tarski/languages

• ..
• tarski.pot