Julien Palard 6839802243 merge pot files.		2017-09-12 13:40:22 +02:00
..
design.po
extending.po
general.po	merge pot files.	2017-09-12 13:40:22 +02:00
gui.po	merge pot files.	2017-08-01 13:29:09 +02:00
index.po
installed.po	merge pot files.	2017-08-01 13:29:09 +02:00
library.po
programming.po	merge pot files.	2017-09-12 13:40:22 +02:00
windows.po	merge pot files.	2017-08-10 01:06:46 +02:00