]> granicus.if.org Git - ejabberd/commit
Fix opt_type.sh script and re-generate options
authorEvgeny Khramtsov <ekhramtsov@process-one.net>
Tue, 16 Jul 2019 15:06:47 +0000 (18:06 +0300)
committerEvgeny Khramtsov <ekhramtsov@process-one.net>
Tue, 16 Jul 2019 15:06:51 +0000 (18:06 +0300)
commit0e48adb1edff8557d7a540d9e777fba584a430e6
treeb05b22cc491c3d3016d14c3b0471684b7a8772ce
parent76d4c178a731d192f019d0017501b5cf390e018b
Fix opt_type.sh script and re-generate options
src/mod_muc_opt.erl
tools/opt_types.sh