- Revision 71181: /tarski/languages

• ..
• tarski.pot