Iucounu e0bb10a6f8 fuzzy extending/embedding.po		2023-02-16 16:55:27 +01:00
..
building.po	Make merge (#21)	2023-01-15 21:42:07 +00:00
embedding.po	fuzzy extending/embedding.po	2023-02-16 16:55:27 +01:00
extending.po	Make merge (#21)	2023-01-15 21:42:07 +00:00
index.po	Make merge (#21)	2023-01-15 21:42:07 +00:00
newtypes_tutorial.po	Make merge (#21)	2023-01-15 21:42:07 +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