3 Commits (5045867b2c3c0940da5d4ad9241facadd2a30d71)

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