]> gitweb.factorcode.org Git - factor.git/commit
tools.profiler.sampling: fixing missed rename.
authorJohn Benediktsson <mrjbq7@gmail.com>
Fri, 14 Aug 2020 18:57:27 +0000 (11:57 -0700)
committerJohn Benediktsson <mrjbq7@gmail.com>
Fri, 14 Aug 2020 18:57:27 +0000 (11:57 -0700)
commit8cc090950ae3af48fa34cc9ca395f689fc52e08b
treedee8f2f1bafbe22799ad16d1af5e5e12cb090459
parent997aaf005ebe95453789c79d2fb81e07bd5d7402
tools.profiler.sampling: fixing missed rename.
basis/tools/profiler/sampling/sampling.factor