From 1a64deeb894dc95e2645a75771732c6cc53a79ad Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Isma=C3=ABl=20Bouya?= <ismael.bouya@normalesup.org>
Date: Wed, 4 Oct 2023 01:35:06 +0200
Subject: Squash changes containing private information

There were a lot of changes since the previous commit, but a lot of them
contained personnal information about users. All thos changes got
stashed into a single commit (history is kept in a different place) and
private information was moved in a separate private repository
---
 lib/private/default.nix | 20 --------------------
 1 file changed, 20 deletions(-)
 delete mode 100644 lib/private/default.nix

(limited to 'lib/private')

diff --git a/lib/private/default.nix b/lib/private/default.nix
deleted file mode 100644
index c7d753a..0000000
--- a/lib/private/default.nix
+++ /dev/null
@@ -1,20 +0,0 @@
-{}:
-{
-  # This adds header colors to the builds, but it rebuilds the whole
-  # world from scratch, so only use it to debug!
-  # add it as postHook in derivations
-  immaePostHook = ''
-    header() {
-      echo -ne "\033[1;36m"
-      echo -n "$1"
-      echo -e "\033[0m"
-    }
-
-    echoCmd() {
-      printf "\033[1;34m%s:\033[0m" "$1"
-      shift
-      printf ' %q' "$@"
-      echo
-    }
-  '';
-}
-- 
cgit v1.2.3