Merge bscpkgs into jungle #189

Manually merged
rarias merged 1013 commits from merge-bscpkgs into master 2025-10-07 16:12:34 +02:00
Showing only changes of commit bcb9cf31a3 - Show all commits

View File

@@ -381,6 +381,11 @@ let
heat = with exp.heat; {
test = merge [ test ];
};
creams = with exp.creams.ss; {
ss.hybrid = merge [ hybrid ];
ss.pure = merge [ pure ];
};
};
# Figures generated from the experiments