summaryrefslogtreecommitdiff
path: root/default.nix
diff options
context:
space:
mode:
authoraristote <quentin.aristote@irif.fr>2025-12-31 12:23:03 +0100
committeraristote <quentin.aristote@irif.fr>2025-12-31 12:23:03 +0100
commitf4c78d6dd3b05d4adeeb0cb7a0d6fd4a0bd07cdf (patch)
tree8a7b8dde8e4c4a311c0fd2acdfb109947bdb6f98 /default.nix
parent369b1406b44e7905b2f49b37621dbad1d0787cac (diff)
sections: remove priority system
Diffstat (limited to 'default.nix')
0 files changed, 0 insertions, 0 deletions