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 /bin/monitor-hotplug | |
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.
Diffstat (limited to 'bin/monitor-hotplug')
0 files changed, 0 insertions, 0 deletions