|
a01c3b2fb4
|
* no longer user micro in git since its not working in vscode
* stop using rebase
|
2023-02-04 14:23:47 +01:00 |
|
|
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 |
|