| building.po | Removing fuzzy from headers. | 2018-07-04 11:16:54 +02:00 |
| embedding.po | Update language team. | 2018-07-04 11:14:25 +02:00 |
| extending.po | Update language team. | 2018-07-04 11:14:25 +02:00 |
| index.po | Update language team. | 2018-07-04 11:14:25 +02:00 |
| newtypes.po | Removing fuzzy from headers. | 2018-07-04 11:16:54 +02:00 |
| newtypes_tutorial.po | Removing fuzzy from headers. | 2018-07-04 11:16:54 +02:00 |
| windows.po | Update language team. | 2018-07-04 11:14:25 +02:00 |
