diff options
| author | Patrick Simianer <p@simianer.de> | 2017-06-20 17:02:06 +0200 |
|---|---|---|
| committer | Patrick Simianer <p@simianer.de> | 2017-06-20 17:02:06 +0200 |
| commit | 461ba78442c1adeabe01059a57e36b429beffc71 (patch) | |
| tree | aef3668de1ce6b400c0a528e3aec7aecd3321c4b /by_os/Linux/mozilla/.mozilla/firefox/profiles.ini | |
| parent | 8d951f7cd852e39f79c91af2871f9bc1388d41a3 (diff) | |
fix
Diffstat (limited to 'by_os/Linux/mozilla/.mozilla/firefox/profiles.ini')
| -rw-r--r-- | by_os/Linux/mozilla/.mozilla/firefox/profiles.ini | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/by_os/Linux/mozilla/.mozilla/firefox/profiles.ini b/by_os/Linux/mozilla/.mozilla/firefox/profiles.ini new file mode 100644 index 0000000..8330f4e --- /dev/null +++ b/by_os/Linux/mozilla/.mozilla/firefox/profiles.ini @@ -0,0 +1,14 @@ +[General] +StartWithLastProfile=1 + +[Profile0] +Name=default +IsRelative=1 +Path=pks.default +Default=1 + +[Profile1] +Name=dev-edition-default +IsRelative=1 +Path=pks.default + |