building.po
|
Make merge (#21)
|
2023-01-15 21:42:07 +00:00 |
embedding.po
|
fuzzy extending/embedding.po closes #56 (#57)
|
2023-02-17 15:54:43 +00:00 |
extending.po
|
fix colons.
|
2023-04-08 12:34:49 +00:00 |
index.po
|
Make merge (#21)
|
2023-01-15 21:42:07 +00:00 |
newtypes_tutorial.po
|
fix colons.
|
2023-04-08 12:34:49 +00:00 |
newtypes.po
|
Make merge (#21)
|
2023-01-15 21:42:07 +00:00 |
windows.po
|
Make merge
|
2022-05-23 00:54:07 +02:00 |