summaryrefslogtreecommitdiff
path: root/src/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 /src/default.nix
parent369b1406b44e7905b2f49b37621dbad1d0787cac (diff)
sections: remove priority system
Diffstat (limited to 'src/default.nix')
-rw-r--r--src/default.nix2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/default.nix b/src/default.nix
index dbc9fca..cd5c9cf 100644
--- a/src/default.nix
+++ b/src/default.nix
@@ -6,7 +6,7 @@
}:
with latex;
let
- sections = sort.byKey "priority" (make ./sections.nix { });
+ sections = make ./sections.nix { };
in
with data.basics;
lines [