Merge branch 'master' of ssh://repo.or.cz/srv/git/prethon
treee7d7c5ab84538e870b78cf8a13680a960a17d99d
-rwxr-xr-x 9058 prethon.py