From 9acd066d1578f0fbf445c92128ad86f192dd99c9 Mon Sep 17 00:00:00 2001 From: Marc Beninca Date: Wed, 28 Jun 2023 11:59:57 +0200 Subject: [PATCH] swap --- build.py | 92 ++++++++++++++++++++++++++++---------------------------- 1 file changed, 46 insertions(+), 46 deletions(-) diff --git a/build.py b/build.py index 66c5f6d..229ba19 100755 --- a/build.py +++ b/build.py @@ -242,6 +242,52 @@ function main() {{ +
+ +{nav('lib')} + + + +
+ + +
{nav('pubnix')} @@ -295,52 +341,6 @@ function main() {{
- - -
- -{nav('lib')} - - - -
- '''