Rodrigo Arias Mallo fec4ddf6ab Merge TAMPI release and git in the same file ... In order to reduce duplicate information we just place the two sources in the same file. Reviewed-by: Aleix Roca Nonell <aleix.rocanonell@bsc.es>		2023-11-29 17:49:22 +01:00
..
default.nix	Merge TAMPI release and git in the same file	2023-11-29 17:49:22 +01:00