- Revision 71015: /tarski/languages

• ..
• tarski.pot