From f361bf987c6b28bec0bedf8dbdaa40cec9239302 Mon Sep 17 00:00:00 2001
From: David Runge <dave@sleepmap.de>
Date: Wed, 5 Oct 2016 13:34:55 +0200
Subject: .mozilla/firefox/profiles.ini: Removing profiles.ini, as a profile is
 not required to be fixed anymore.

---
 .mozilla/firefox/profiles.ini | 9 ---------
 1 file changed, 9 deletions(-)
 delete mode 100644 .mozilla/firefox/profiles.ini

diff --git a/.mozilla/firefox/profiles.ini b/.mozilla/firefox/profiles.ini
deleted file mode 100644
index 68905f0..0000000
--- a/.mozilla/firefox/profiles.ini
+++ /dev/null
@@ -1,9 +0,0 @@
-[General]
-StartWithLastProfile=1
-
-[Profile0]
-Name=dvzrv
-IsRelative=1
-Path=dvzrv
-Default=1
-
-- 
cgit v1.2.3-70-g09d2