- Revision 71580: /tarski/languages

• ..
• tarski.pot