Closed esben closed 6 years ago
Oh well, it's easy enough to do a replace-all-tabs-with-8-spaces afterwards if we (you) care enough about this, so I won't let that get in the way of merging as-is.
Ah, yes. Sorry about that. Bad Emacs!
Oh well, it's easy enough to do a replace-all-tabs-with-8-spaces afterwards if we (you) care enough about this, so I won't let that get in the way of merging as-is.