]> gitweb.factorcode.org Git - factor.git/commit
ui.gadgets.editors: remove extra spaces.
authorJohn Benediktsson <mrjbq7@gmail.com>
Mon, 22 Aug 2016 04:41:08 +0000 (21:41 -0700)
committerJohn Benediktsson <mrjbq7@gmail.com>
Mon, 22 Aug 2016 04:41:08 +0000 (21:41 -0700)
commit7a4e345f6c199b8ddfb7faec2121a2dc80ab1da6
treedeb6519c2c8ee972d34b50fc97051167eb843de9
parent16381beddcd0c05fff8cc226e9ca1d651fa8136d
ui.gadgets.editors: remove extra spaces.
basis/ui/gadgets/editors/editors.factor