]> gitweb.factorcode.org Git - factor.git/commit
projects / factor.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: fc449d5) | patch
tools.time: flush the banner so you can use time in a loop.
authorJohn Benediktsson <mrjbq7@gmail.com>
Fri, 10 Aug 2012 22:23:10 +0000 (15:23 -0700)
committerJohn Benediktsson <mrjbq7@gmail.com>
Fri, 10 Aug 2012 22:23:10 +0000 (15:23 -0700)
commit4c54b32170f0cfc9a05611a7e036f999769902f1
tree74b25c6ed08b55c1dd8d33f4a9c678eb5134d2f7tree | snapshot
parentfc449d55bfd88ee34ac2df171fb22a606cde992acommit | diff
tools.time: flush the banner so you can use time in a loop.
basis/tools/time/time.factor diff | blob | history
Factor programming language