rarias/jungle
2
0
Fork 3
Code Issues 58 Pull Requests 8 Actions Packages Projects Releases Wiki Activity

Merge bscpkgs into jungle #189

Manually merged
rarias merged 1013 commits from merge-bscpkgs into master 2025-10-07 16:12:34 +02:00
Conversation 1 Commits 1013 Files Changed 120 +1 -1
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
Showing only changes of commit d84ccf566b - Show all commits

2
garlic/pp/launcher.nix
View File

@@ -17,7 +17,7 @@ stdenv.mkDerivation {
echo
echo "You can manually run the experiment and fetch the results with:"
echo
echo -e "\e[30;48;5;2mgarlic -RFv ${trebuchetStage}\e[0m"
echo -e "\e[30;48;5;2mgarlic -RFv ${trebuchet}\e[0m"
echo
echo "See garlic(1) for more details."
exit 1