]> gitweb.factorcode.org Git - factor.git/commit
tools.profiler: rename to tools.counting-profiler
authorJoe Groff <arcata@gmail.com>
Fri, 28 Oct 2011 18:57:57 +0000 (11:57 -0700)
committerJoe Groff <arcata@gmail.com>
Wed, 2 Nov 2011 20:23:06 +0000 (13:23 -0700)
commit33919b291957a5b66eeb242d103098a747dfdf42
tree7e5b34976c87e7419a7317bd1e54dac504e7cd09
parentcdfb1b1b94ec57f0050f7e55d928d8e246ccb8b9
tools.profiler: rename to tools.counting-profiler
20 files changed:
basis/bootstrap/tools/tools.factor
basis/listener/listener.factor
basis/stack-checker/known-words/known-words.factor
basis/tools/counting-profiler/authors.txt [new file with mode: 0644]
basis/tools/counting-profiler/counting-profiler-docs.factor [new file with mode: 0644]
basis/tools/counting-profiler/counting-profiler-tests.factor [new file with mode: 0644]
basis/tools/counting-profiler/counting-profiler.factor [new file with mode: 0644]
basis/tools/counting-profiler/summary.txt [new file with mode: 0644]
basis/tools/counting-profiler/tags.txt [new file with mode: 0644]
basis/tools/profiler/authors.txt [deleted file]
basis/tools/profiler/profiler-docs.factor [deleted file]
basis/tools/profiler/profiler-tests.factor [deleted file]
basis/tools/profiler/profiler.factor [deleted file]
basis/tools/profiler/summary.txt [deleted file]
basis/tools/profiler/tags.txt [deleted file]
basis/ui/tools/operations/operations-docs.factor
basis/ui/tools/operations/operations.factor
basis/ui/tools/profiler/profiler.factor
basis/ui/tools/tools-docs.factor
core/bootstrap/primitives.factor