Davide Pastore a42f8f839f Use dos2unix to convert files to Unix format (#100) ...

* Use dos2unix to convert files to Unix format

* Fix special characters

2026-02-02 18:30:38 +01:00

..

closure

Sync language/predefined section with EN

2024-01-07 19:16:58 +00:00

exception

Sync language/predefined section with EN

2024-01-07 19:16:58 +00:00

variables

Sync language/predefined section with EN

2024-01-07 19:16:58 +00:00

closure.xml

Apply commit from doc-en PR 3422

2024-06-14 17:01:50 +01:00

exceptions.xml

Use dos2unix to convert files to Unix format (#100)

2026-02-02 18:30:38 +01:00

interfaces.xml

Include Countable after move

2024-12-10 23:28:15 +00:00