lint/docs
Marco Ferrari 2c548620af
Move instructions from the wiki to docs (#4957)
* Move instructions from the wiki to docs

* Add missing code

* Fix linting errors

* Fix indentation

* Don't add deleted docs back

* Remove slim readme
2023-12-12 08:41:41 +01:00
..
add-new-linter.md Move instructions from the wiki to docs (#4957) 2023-12-12 08:41:41 +01:00
release-process.md Move instructions from the wiki to docs (#4957) 2023-12-12 08:41:41 +01:00
run-linter-locally.md Update documentation (#4981) 2023-12-11 21:35:20 +00:00