3 Commits (b14a38fec953e3d1558b6f095c9f588c1c5c1012)

Author	SHA1	Message	Date
Ira Abramov	5045867b2c	Don't touch tab indentations, they are there for a good reason	2020-10-28 09:08:04 +02:00
Ira Abramov	d986261f98	another round of refinements after PR #1434	2020-10-28 09:08:04 +02:00
Ira Abramov	9ac6a6ab96	Enforce some coding standards for the contributers	2020-10-28 09:08:04 +02:00