diff options
| author | Patrick Simianer <p@simianer.de> | 2015-10-16 09:12:58 +0200 |
|---|---|---|
| committer | Patrick Simianer <p@simianer.de> | 2015-10-16 09:12:58 +0200 |
| commit | d2a64d54e73d554c540310ad8e5a1529345c67a7 (patch) | |
| tree | 84e43edff7ccfb11de6e1613cdb8d38cac2b7b82 | |
| parent | 608271176e7948ec5dc39af34f6498f38dcab773 (diff) | |
firefox profile fix
| -rw-r--r-- | .mozilla/firefox/profiles.ini | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/.mozilla/firefox/profiles.ini b/.mozilla/firefox/profiles.ini index 7002bac..a7e6bf7 100644 --- a/.mozilla/firefox/profiles.ini +++ b/.mozilla/firefox/profiles.ini @@ -5,4 +5,10 @@ StartWithLastProfile=1 Name=default IsRelative=1 Path=pks.default +Default=1 + +[Profile1] +Name=dev-edition-default +IsRelative=1 +Path=pks.dev-edition-default |