some other minor changes from milpeer master
authorJan Szejko <janek37@gmail.com>
Tue, 27 Mar 2018 15:10:41 +0000 (17:10 +0200)
committerJan Szejko <janek37@gmail.com>
Tue, 27 Mar 2018 15:10:41 +0000 (17:10 +0200)
commit61dfc642406900ea1d4b2751925329cd69a36a87
tree50233374daa13cb847d043bf06a727b6f76e7163
parent2c49337a7dba1ad424843c6dc460743dbba0c815
some other minor changes from milpeer
src/editor/modules/documentHistory/templates/main.html
src/wlxml/wlxml.js