5 commits

Author	SHA1	Message	Date
Mylloon	a01c3b2fb4	* no longer user micro in git since its not working in vscode ... * stop using rebase	2023-02-04 14:23:47 +01:00
Mylloon	eeb438847b	lets be a 2spaces guy	2023-01-25 09:23:32 +01:00
Mylloon	7778a89a53	* use delta instead of diff ... * add .gitconfig instead of modifying it by commands	2022-11-15 11:32:23 +01:00
Mylloon	3b937a7390	add ocamlformat	2022-10-11 17:32:03 +02:00
Mylloon	d6f8f3e641	add clang format	2022-10-02 01:17:46 +02:00