]> gitweb.factorcode.org Git - factor.git/commit
editors.ui: Make the editors ui its own thing.
authorDoug Coleman <doug.coleman@gmail.com>
Thu, 12 Jul 2018 02:52:17 +0000 (21:52 -0500)
committerDoug Coleman <doug.coleman@gmail.com>
Thu, 12 Jul 2018 02:52:17 +0000 (21:52 -0500)
commitb21f9ed3eb27abe57d730bd214871dfcbbd20db9
tree187a113acbe324b4da20a99b05d1c878fb330056
parentcd2b8eee425eb664db23cbf986cd0d1e7f3bd89b
editors.ui: Make the editors ui its own thing.
basis/editors/ui/ui.factor [new file with mode: 0644]