Skip to content

Commit 7b4240e

Browse files
authored
Merge branch 'main' into frozenset_specialization
2 parents 574e0f4 + 31d3836 commit 7b4240e

File tree

351 files changed

+13972
-5423
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

351 files changed

+13972
-5423
lines changed

.devcontainer/devcontainer.json

Lines changed: 0 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -5,9 +5,6 @@
55
"dnf",
66
"install",
77
"-y",
8-
"which",
9-
"zsh",
10-
"fish",
118
// For umask fix below.
129
"/usr/bin/setfacl"
1310
],

0 commit comments

Comments
 (0)