]> gitweb.factorcode.org Git - factor.git/commit
automata.ui: minor indentation fix
authorEduardo Cavazos <dharmatech@finkelstein.stackeffects.info>
Mon, 17 Nov 2008 05:31:36 +0000 (23:31 -0600)
committerEduardo Cavazos <dharmatech@finkelstein.stackeffects.info>
Mon, 17 Nov 2008 05:31:36 +0000 (23:31 -0600)
commitfb45cd9e5549888702aa91f130439d67f12c7d43
treed923a170d8adff8ff65e30e7226fda73a7f4205d
parent7688c8eb482f2ae80c66a0d677b29932bc83fd2a
automata.ui: minor indentation fix
extra/automata/ui/ui.factor