Skip to content
Snippets Groups Projects
Commit 38b7d7e8 authored by Tom Prince's avatar Tom Prince
Browse files

Make `tools/default.nix` more easily extendable.

parent 156c7f3e
No related branches found
No related tags found
No related merge requests found
Pipeline #1129 passed