Commit graph

4 commits

Author SHA1 Message Date
eeb438847b
lets be a 2spaces guy 2023-01-25 09:23:32 +01:00
7778a89a53
* use delta instead of diff
* add .gitconfig instead of modifying it by commands
2022-11-15 11:32:23 +01:00
3b937a7390
add ocamlformat 2022-10-11 17:32:03 +02:00
d6f8f3e641
add clang format 2022-10-02 01:17:46 +02:00