3 Commits (45d076567a13635f5a266261fca384801d5af22d)

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