2 commits

Author	SHA1	Message	Date
Enrico Giordani	5e2f681761	Docs tweaks (#960) ... Change header levels Add Github workflow Add reference to coding style Minor tweaks Fix links Add border to images Scale images	2019-12-17 17:02:45 +01:00
Bartosz Sosnowski	ad506d78ba	Imrpove the settings doc (#958)	2019-12-17 15:18:27 +01:00