diff options
| author | Evgeny Khramtsov <ekhramtsov@process-one.net> | 2019-11-07 11:33:24 +0300 |
|---|---|---|
| committer | Evgeny Khramtsov <ekhramtsov@process-one.net> | 2019-11-07 11:33:24 +0300 |
| commit | b7b76cc38bddc49d916617e92f7c74d224dc4269 (patch) | |
| tree | c35ac154551e50400d9d70ff1f33fd5ba359812e /src/mod_push_mnesia.erl | |
| parent | Fix loading of third-party modules at startup (diff) | |
Group all duplicated list-like options into a single option
Diffstat (limited to 'src/mod_push_mnesia.erl')
0 files changed, 0 insertions, 0 deletions