Skip to content
Snippets Groups Projects
Commit e378fea9 authored by Jens Nolte's avatar Jens Nolte
Browse files

Provide development tools in `nix develop` shell

parent a46be5d9
No related branches found
No related tags found
No related merge requests found
Pipeline #2637 failed