Julien Palard ceb04f1c42 merge pot files.		2018-05-02 00:20:18 +02:00
..
building.po
embedding.po
extending.po	merge pot files.	2018-04-29 00:28:01 +02:00
index.po	merge pot files.	2018-04-29 00:28:01 +02:00
newtypes_tutorial.po	merge pot files.	2018-05-02 00:20:18 +02:00
newtypes.po	merge pot files.	2018-04-29 00:28:01 +02:00
windows.po