gitweb.factorcode.org Git - factor.git/commit

]> gitweb.factorcode.org Git - factor.git/commit

kill tools.profiler.counting and ui.tools.profiler
Load tools.profiler.sampling from bootstrap/tools instead.

21 files changed:

basis/bootstrap/tools/tools.factor		diff \| blob \| history
basis/help/handbook/handbook.factor		diff \| blob \| history
basis/listener/listener.factor		diff \| blob \| history
basis/stack-checker/known-words/known-words.factor		diff \| blob \| history
basis/tools/annotations/annotations-docs.factor		diff \| blob \| history
basis/tools/profiler/counting/authors.txt	[deleted file]	blob \| history
basis/tools/profiler/counting/counting-docs.factor	[deleted file]	blob \| history
basis/tools/profiler/counting/counting-tests.factor	[deleted file]	blob \| history
basis/tools/profiler/counting/counting.factor	[deleted file]	blob \| history
basis/tools/profiler/counting/summary.txt	[deleted file]	blob \| history
basis/tools/profiler/counting/tags.txt	[deleted file]	blob \| history
basis/tools/time/time-docs.factor		diff \| blob \| history
basis/ui/tools/operations/operations-docs.factor		diff \| blob \| history
basis/ui/tools/operations/operations.factor		diff \| blob \| history
basis/ui/tools/profiler/authors.txt	[deleted file]	blob \| history
basis/ui/tools/profiler/profiler-docs.factor	[deleted file]	blob \| history
basis/ui/tools/profiler/profiler-tests.factor	[deleted file]	blob \| history
basis/ui/tools/profiler/profiler.factor	[deleted file]	blob \| history
basis/ui/tools/profiler/summary.txt	[deleted file]	blob \| history
basis/ui/tools/profiler/tags.txt	[deleted file]	blob \| history
basis/ui/tools/tools-docs.factor		diff \| blob \| history

Factor programming language