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 -3
1 changed files with 1 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files
Showing only changes of commit 60248ab06b - Show all commits

4
garlic/fig/index.nix
View File

@@ -84,10 +84,8 @@ in
# The figures used in the article contained in a directory per figure
article = with fig; linkTree "article-fig" {
"osu/latency" = osu.latency;
"osu/latencyMt" = osu.latencyMt;
"osu/bw" = osu.bw;
"osu/bwShm" = osu.bwShm;
"heat/cache" = heat.cache;
"osu/mtu" = osu.mtu;
};
examples = with exp.examples; {