]> gitweb.factorcode.org Git - factor.git/commit
ui.tools.listener.history: cleanup and minor bugfix.
authorJohn Benediktsson <mrjbq7@gmail.com>
Thu, 1 May 2014 02:06:36 +0000 (19:06 -0700)
committerJohn Benediktsson <mrjbq7@gmail.com>
Thu, 1 May 2014 02:06:36 +0000 (19:06 -0700)
commit0f52c3e486e1dc1ecbfac950435056ea6878fe13
tree1a13380748d215729a96653a304d32b3612efcdb
parenta0a76469b6db7adfd1691069badfcb8c5c52ed9d
ui.tools.listener.history: cleanup and minor bugfix.
basis/ui/tools/listener/history/history.factor