Hannes Mehnert 6fdede7310 M-x whitespace-cleanup		2022-11-04 10:41:40 +01:00
..
dune	Functorize git-kv with Pclock to save the right time when we commit	2022-10-19 13:00:04 +02:00
mgit.ml	M-x whitespace-cleanup	2022-11-04 10:41:40 +01:00