| building.po | Make merge of 3.9 (#1385) | 2020-09-11 09:11:46 +02:00 |
| embedding.po | Make merge of 3.9 (#1385) | 2020-09-11 09:11:46 +02:00 |
| extending.po | Make merge of 3.9 (#1385) | 2020-09-11 09:11:46 +02:00 |
| index.po | Make merge of 3.9 (#1385) | 2020-09-11 09:11:46 +02:00 |
| newtypes.po | Make merge of 3.9 (#1385) | 2020-09-11 09:11:46 +02:00 |
| newtypes_tutorial.po | Make merge of 3.9 (#1385) | 2020-09-11 09:11:46 +02:00 |
| windows.po | Make merge of 3.9 (#1385) | 2020-09-11 09:11:46 +02:00 |
