Julien Palard 707f05d2d7 merge pot files.		2017-12-01 07:48:13 +01:00
..
building.po	Done: extending/building.po	2017-11-14 13:35:06 +01:00
embedding.po
extending.po	merge pot files.	2017-12-01 07:48:13 +01:00
index.po	extending/index.po done. see #87	2017-11-22 10:55:22 +01:00
newtypes.po	merge pot files.	2017-12-01 07:48:13 +01:00
windows.po	merge pot files.	2017-12-01 07:48:13 +01:00