Fernando Schauenburg e8f313c49d vim: better filler character for deleted lines in diffs		2023-07-12 19:54:22 +02:00
..
user	vim: better filler character for deleted lines in diffs	2023-07-12 19:54:22 +02:00