clemensrieder 2801b60b0e
Minor updates to development documentation (#2474)
* clarify commands by adding paths

* fix trailing space in header

* rerun pre-commit

* one last time :S

* update sections, remove duplicate information

* those pesky pre-commits ;-)

* implement suggestions
2023-01-26 07:45:35 -08:00
..
2022-12-02 20:06:51 -08:00
2023-01-25 21:02:01 +00:00
2022-12-11 08:06:17 -08:00
2022-12-11 08:06:17 -08:00
2022-12-29 19:39:38 -08:00