]> gitweb.factorcode.org Git - factor.git/commit
tools: fix some docs uses.
authorJohn Benediktsson <mrjbq7@gmail.com>
Tue, 23 Mar 2021 17:37:31 +0000 (10:37 -0700)
committerJohn Benediktsson <mrjbq7@gmail.com>
Tue, 23 Mar 2021 17:37:31 +0000 (10:37 -0700)
commitfdf45df4babca780b57fe33ca4033987154a178a
treefc0bed02fd474cda1fa2ec64a8e2fd5474ac8250
parent8179c931898dcd80c79d55be3d43eaa8fb6cb2da
tools: fix some docs uses.
basis/tools/dispatch/dispatch-docs.factor
basis/tools/profiler/sampling/sampling-docs.factor