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 /by_host/Linux/mozilla/.mozilla/firefox/profiles.ini | |
| parent | d046586dc26e103dc972167524d75069097669ee (diff) | |
cleanup
Diffstat (limited to 'by_host/Linux/mozilla/.mozilla/firefox/profiles.ini')
| -rw-r--r-- | by_host/Linux/mozilla/.mozilla/firefox/profiles.ini | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/by_host/Linux/mozilla/.mozilla/firefox/profiles.ini b/by_host/Linux/mozilla/.mozilla/firefox/profiles.ini new file mode 100644 index 0000000..8330f4e --- /dev/null +++ b/by_host/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 + |