minor cleanup
authorJan Szejko <janek37@gmail.com>
Thu, 17 Aug 2017 14:54:02 +0000 (16:54 +0200)
committerJan Szejko <janek37@gmail.com>
Thu, 17 Aug 2017 14:54:02 +0000 (16:54 +0200)
commit3db378e91ce58920fd1d1cdb6cd6997c88089edb
treefc1d438231827d1dda1117491a9dfd1a5172b052
parent241b81fd2cf4854b7f21f4c36b311798b2571ede
minor cleanup
src/editor/plugins/core/edumed/choice/element.js
src/editor/plugins/core/edumed/choice/list.js
src/editor/plugins/core/edumed/gaps/element.js
src/editor/plugins/core/edumed/order/element.js