Merge pull request 'shell.nix: remove cc' (!52) from shell-cc into main
Reviewed-on: #52 Reviewed-by: Oystein Kristoffer Tveit <oysteikt@pvv.ntnu.no>
This commit was merged in pull request #52.
This commit is contained in:
Reviewed-on: #52 Reviewed-by: Oystein Kristoffer Tveit <oysteikt@pvv.ntnu.no>