diff options
| author | Patrick Simianer <p@simianer.de> | 2017-05-21 16:38:20 +0200 |
|---|---|---|
| committer | Patrick Simianer <p@simianer.de> | 2017-05-21 16:38:20 +0200 |
| commit | 2555dc067f7f8915af366a8e344381f8185b271a (patch) | |
| tree | 4f66476de4ecc63e0b70ea9a84b85ace4bd2e736 /mozilla/.mozilla/firefox/profiles.ini | |
| parent | d046586dc26e103dc972167524d75069097669ee (diff) | |
cleanup
Diffstat (limited to 'mozilla/.mozilla/firefox/profiles.ini')
| -rw-r--r-- | mozilla/.mozilla/firefox/profiles.ini | 14 |
1 files changed, 0 insertions, 14 deletions
diff --git a/mozilla/.mozilla/firefox/profiles.ini b/mozilla/.mozilla/firefox/profiles.ini deleted file mode 100644 index 8330f4e..0000000 --- a/mozilla/.mozilla/firefox/profiles.ini +++ /dev/null @@ -1,14 +0,0 @@ -[General] -StartWithLastProfile=1 - -[Profile0] -Name=default -IsRelative=1 -Path=pks.default -Default=1 - -[Profile1] -Name=dev-edition-default -IsRelative=1 -Path=pks.default - |