?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
(parent: 6e2137c) | patch
port an old fix to source editor
commit9241fedf3a098ceea1b4d5e408c59ae31d75be3f
authorKartik K. Agaram <vc@akkartik.com>
Sun, 17 Sep 2023 05:40:46 +0000 (16 22:40 -0700)
committerKartik K. Agaram <vc@akkartik.com>
Sun, 17 Sep 2023 05:40:46 +0000 (16 22:40 -0700)
tree759e8b5a1ce706611f6d67524c29f2c0a78ca07dtree | snapshot (tar.gz zip)
parent6e2137c5b6bde9c84e96cd919fce38581558b917commit | diff
port an old fix to source editor
source_edit.lua diff | blob | blame | history
An editor for plain text where you can also seamlessly insert line drawings