dots.git - My dot files

	Commit message (Expand)	Author	Files	Lines
2023-07-30	git: use different configs for merge and diff tools	Brahmajit Das	1	-2/+4
2023-07-24	zsh: minor clean up	Brahmajit Das	2	-9/+0