]> gitweb.factorcode.org Git - factor.git/commit
edit-error now works if the error has a file name but not a line number
authorSlava Pestov <slava@factorcode.org>
Sat, 21 Nov 2009 23:23:59 +0000 (17:23 -0600)
committerSlava Pestov <slava@factorcode.org>
Sat, 21 Nov 2009 23:23:59 +0000 (17:23 -0600)
commit50b3f076e88185f30da76d29c0d4499cc603fa47
treec2c35459b8efe2676ed0bbd909fa3a427aee4de8
parentcc5a8628984a52a0d6bd03a8763a84dacdf34a60
edit-error now works if the error has a file name but not a line number
basis/editors/editors.factor [changed mode: 0644->0755]