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
---
 overlays/gitweb/default.nix | 7 -------
 1 file changed, 7 deletions(-)
 delete mode 100644 overlays/gitweb/default.nix

(limited to 'overlays/gitweb/default.nix')

diff --git a/overlays/gitweb/default.nix b/overlays/gitweb/default.nix
deleted file mode 100644
index 27a1152..0000000
--- a/overlays/gitweb/default.nix
+++ /dev/null
@@ -1,7 +0,0 @@
-self: super: {
-  gitweb = super.gitweb.overrideAttrs(old: {
-    postBuild = old.postBuild or "" + ''
-      cp -r ${./theme} $out/gitweb-theme;
-      '';
-  });
-}
-- 
cgit v1.2.3