]> gitweb.factorcode.org Git - factor.git/commit
editors.nova: fix opening to line number
authorJohn Benediktsson <mrjbq7@gmail.com>
Sat, 12 Aug 2023 15:25:10 +0000 (08:25 -0700)
committerJohn Benediktsson <mrjbq7@gmail.com>
Sat, 12 Aug 2023 15:25:10 +0000 (08:25 -0700)
commit6b7d0a82417f8aa6fb22c4789081b2b6a8e9aac7
tree5cabbe344ddebae873f8dd085cc0acf6e76b5d2d
parent2cfc7d25685d293cb2c87d4cb930c5f3d0360fa2
editors.nova: fix opening to line number
basis/editors/nova/nova.factor