52 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
yuyoyuppe	f385e46927	Devdocs reorganisation (#913) ... * docs: split usage and dev docs * # This is a combination of 2 commits. # This is the 1st commit message: docs: split usage and dev docs # The commit message #2 will be skipped: # fixup add docs * docs: add runner documentation and move hooks documentation to devdocs * docs: add stubs for modules technical description * docs: add paragraph about event thread-safety * docs: add 'Current modules' section header	2019-12-12 12:25:19 +03:00