summaryrefslogtreecommitdiff
path: root/src/default.nix
diff options
context:
space:
mode:
authoraristote <quentin.aristote@irif.fr>2025-12-31 12:56:08 +0100
committeraristote <quentin.aristote@irif.fr>2025-12-31 12:56:08 +0100
commitc8e75c6579a499280085457a10dc1ef15ef8a6b8 (patch)
tree21af1bccb66095b2b13140da41c2a4e0a96f9094 /src/default.nix
parent84545ccfb25ecae35eaf89ff8d00feef469e869a (diff)
parentc9d07024266f13fcb91a1923c81e43bca240f773 (diff)
Merge branch 'pocococop'
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 [