Rodrigo Arias Mallo 20ded0c0df Change the GPI-2 URL to a public repository ... Reviewed-by: Aleix Roca Nonell <aleix.rocanonell@bsc.es>		2023-11-24 14:49:03 +01:00
..
default.nix	Change the GPI-2 URL to a public repository	2023-11-24 14:49:03 +01:00