From e4f9255a3a8d1dbf115b9cf0451e59fa0d5232f5 Mon Sep 17 00:00:00 2001 From: Vincent Ambo Date: Wed, 6 Jun 2018 16:35:08 +0200 Subject: [PATCH] chore: Remove .gitmodules Mozilla overlay is no longer used. --- .gitmodules | 3 --- 1 file changed, 3 deletions(-) delete mode 100644 .gitmodules diff --git a/.gitmodules b/.gitmodules deleted file mode 100644 index b51f28b60..000000000 --- a/.gitmodules +++ /dev/null @@ -1,3 +0,0 @@ -[submodule "nixpkgs-mozilla"] - path = nixpkgs-mozilla - url = git@github.com:mozilla/nixpkgs-mozilla.git