Julien Palard c9d8373a5a Also handle simple colon.		2023-04-14 13:13:44 +02:00
..
building.po	Also handle simple colon.	2023-04-14 13:13:44 +02:00
embedding.po	fuzzy extending/embedding.po closes #56 (#57)	2023-02-17 15:54:43 +00:00
extending.po	fix colons. (#122)	2023-04-08 12:37:28 +00:00
index.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
newtypes_tutorial.po	fix colons. (#122)	2023-04-08 12:37:28 +00:00
windows.po	Make merge	2022-05-23 00:54:07 +02:00