Markus Heiser 3eed80a074 [mod] install developer tools by: make node.env.dev ...

- rename ``./manage node.env.devtools`` to ``./manage node.env.dev``
- add ``make node.env.dev``
- remove local developer tools by ``make node.clean``

Signed-off-by: Markus Heiser <markus.heiser@darmarit.de>

2023-02-11 13:33:43 +01:00

2.9 KiB

Raw Blame History

View Raw