commit | 95ed7d48c84198da0ec4b1b9b5de9358a47da753 | [log] [download] |
---|---|---|
author | nicm <nicm> | Fri Jun 23 15:36:52 2017 +0000 |
committer | nicm <nicm> | Fri Jun 23 15:36:52 2017 +0000 |
tree | 5b6515359ef39b43aae547292172ce20a17e160b | |
parent | a67df177634f5ff3f6a24598d4016f61a794af62 [diff] |
Add user-keys option to allow user-defined keys to be set, from Dan Aloni.