From 0abd5419dc60297eeed6de6b6c38576bbf635884 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Kier=C3=A1n=20Meinhardt?= <kieran.meinhardt@gmail.com>
Date: Sun, 7 Jul 2019 15:42:50 +0200
Subject: [PATCH] mrconfig -> mrconfig.ini

---
 configs/git.nix                | 2 +-
 dot/{mrconfig => mrconfig.ini} | 0
 2 files changed, 1 insertion(+), 1 deletion(-)
 rename dot/{mrconfig => mrconfig.ini} (100%)

diff --git a/configs/git.nix b/configs/git.nix
index b6696f1..8778f2f 100644
--- a/configs/git.nix
+++ b/configs/git.nix
@@ -12,7 +12,7 @@
   ];
 
   home-manager.users.me = {
-    home.file.".mrconfig".text = builtins.readFile <dot/mrconfig>;
+    home.file.".mrconfig".text = builtins.readFile <dot/mrconfig.ini>;
 
     programs.git = {
       enable = true;
diff --git a/dot/mrconfig b/dot/mrconfig.ini
similarity index 100%
rename from dot/mrconfig
rename to dot/mrconfig.ini