diff options
| author |  Joey Hess <joey@kitenet.net> | 2012-11-03 18:58:37 -0400 |
|---|---|---|
| committer | Joey Hess <joey@kitenet.net> | 2012-11-03 18:58:37 -0400 |
| commit | d86432744193b03bcc23b4fa1c760598cd7eee1f (patch) | |
| tree | 6a9b4cdd89db884072e5b8fa4e8bdc7dd25f3c39 /Types/Option.hs | |
| parent | 58e91c4734eda305556cc98a5bb714748bb71b8d (diff) | |
rename xmpp creds file
it's not just about push notifications anymore
Diffstat (limited to 'Types/Option.hs')
0 files changed, 0 insertions, 0 deletions