3 Jan
2017
3 Jan
'17
5:01 p.m.
On 2017-Jan-03, Andrew Gregory wrote with possible deletions:
We use tabs for indenting C files, not spaces.
Ok, didn't think of that. Do you have a style-checking script I could use? Do you prefer a patch with all commits squashed into one, or rather many small commits (that you could squash yourself)? -- http://stefan-klinger.de o/X Send plain text messages only, not exceeding 32kB. /\/ \