]> gitweb.factorcode.org Git - factor.git/commit
editors: Throw a restart with instructions on how to use SET-EDITOR:
authorDoug Coleman <doug.coleman@gmail.com>
Sat, 28 Jan 2023 04:39:32 +0000 (22:39 -0600)
committerDoug Coleman <doug.coleman@gmail.com>
Sat, 28 Jan 2023 04:41:04 +0000 (22:41 -0600)
commit4747c1cbbc67f95e4c9e179764a46199e6b71214
treeca0f1dcf79ac83c85cd90a32d4753bc9a9ad692c
parent3bd341a8c7f0deca1fa1fb87ed2a671f7f4f4bbb
editors: Throw a restart with instructions on how to use SET-EDITOR:
basis/editors/editors.factor