]> gitweb.factorcode.org Git - factor.git/search
Revert "ui.gadgets.editors: remove extra spaces."