ldc-startcoq/resources/lang
2023-09-05 15:28:55 +02:00
..
fr Fixed some requests from the provided excel document 2023-09-05 15:28:55 +02:00