diff options
| author | Joris | 2017-05-20 10:14:28 +0200 |
|---|---|---|
| committer | Joris | 2017-05-20 10:14:28 +0200 |
| commit | 5eea2801b7fba62a28642c4113bfff0a9ca5847f (patch) | |
| tree | 8d4e36d22a7417e6e5faff2be44ed5f79a351172 /.ocamlformat | |
| parent | 3e8eda47de391e8a9ade22c2024bb319133d8f38 (diff) | |
Rename english directories to french ones
Diffstat (limited to '.ocamlformat')
0 files changed, 0 insertions, 0 deletions