]> gitweb.factorcode.org Git - factor.git/commit
tools.profiler.counting: rename help article
authorJoe Groff <arcata@gmail.com>
Tue, 1 Nov 2011 03:00:51 +0000 (20:00 -0700)
committerJoe Groff <arcata@gmail.com>
Wed, 2 Nov 2011 20:23:14 +0000 (13:23 -0700)
commit6d3d8392d1a1b2c591851206a6b55df7fffb4ed3
tree87aa6d492584d0aa5f145934ebd79df2aa193150
parenteb749bb535d76f67c91c014212f6837a4012bb50
tools.profiler.counting: rename help article
basis/tools/annotations/annotations-docs.factor
basis/tools/profiler/counting/counting-docs.factor
basis/tools/time/time-docs.factor
basis/ui/tools/profiler/profiler-docs.factor