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