diff options
| author | David Runge <dave@sleepmap.de> | 2016-10-05 13:34:55 +0200 |
|---|---|---|
| committer | David Runge <dave@sleepmap.de> | 2016-10-05 13:34:55 +0200 |
| commit | f361bf987c6b28bec0bedf8dbdaa40cec9239302 (patch) | |
| tree | 91dc54564f6c92d5c5c45976f91bbaead4d89e3b | |
| parent | 1cdf2c22043e4c7d5f0d26ca73e419032bca6591 (diff) | |
| download | dotfiles-f361bf987c6b28bec0bedf8dbdaa40cec9239302.tar.gz dotfiles-f361bf987c6b28bec0bedf8dbdaa40cec9239302.tar.bz2 dotfiles-f361bf987c6b28bec0bedf8dbdaa40cec9239302.tar.xz dotfiles-f361bf987c6b28bec0bedf8dbdaa40cec9239302.zip | |
.mozilla/firefox/profiles.ini: Removing profiles.ini, as a profile is not required to be fixed anymore.
| -rw-r--r-- | .mozilla/firefox/profiles.ini | 9 |
1 files changed, 0 insertions, 9 deletions
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 - |