Closed rossabaker closed 1 month ago
overlay
overlays.default
This is an attempt to unstick #159.
I'm not entirely satisfied with our interface here, but I'm not sure we can do a lot better without https://github.com/numtide/devshell/issues/223.
overlay
attribute is deprecated and has been removed in favor ofoverlays.default