Skip to content
Snippets Groups Projects

Kill guix stuff, it's annoying to keep that in sync.

Merged Kill guix stuff, it's annoying to keep that in sync.
robbert/kill_guix into master
Merged Robbert Krebbers requested to merge robbert/kill_guix into master