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
..
devdocs	Docs tweaks (#960)	2019-12-17 17:02:45 +01:00
images	Docs tweaks (#960)	2019-12-17 17:02:45 +01:00
planning	Removed the batch renamer now that PowerRename is released	2019-11-04 09:42:29 -08:00
specs	Devdocs reorganisation (#913)	2019-12-12 12:25:19 +03:00