| building.po | Done: extending/building.po | 2017-11-14 13:35:06 +01:00 |
| embedding.po | Working on small files. | 2017-10-18 23:12:12 +02:00 |
| extending.po | Update extending.po | 2017-09-22 13:03:20 +02:00 |
| index.po | More classical order of metadata. | 2017-08-11 19:15:15 +02:00 |
| newtypes.po | merge pot files. | 2017-09-12 13:40:22 +02:00 |
| windows.po | Set Language header to each po file. | 2017-05-24 00:40:56 +02:00 |