Merge pull request #3461 from kwathek/patch-2

Rename Polytech-Intl.txt to pi.txt
This commit is contained in:
Philip Torchinsky 2017-09-19 17:42:55 +03:00 committed by GitHub
commit 272fda4d0d