git://git.nikiroo.be / nikiroo-utils.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5ca5f8e) | patch
resync from TJIDE
authorKevin Lamonte <kevin.lamonte@gmail.com>
Mon, 11 Nov 2019 00:19:06 +0000 (18:19 -0600)
committerKevin Lamonte <kevin.lamonte@gmail.com>
Mon, 11 Nov 2019 00:19:06 +0000 (18:19 -0600)
commit0580bf2c756853c189f2abbe9c500a8ae2d46e23
tree873d7a0ccd66d8a0fb1cd8202d07ff04b0ebb8a2tree | snapshot
parent5ca5f8e5310b189232ed337643f3b7b2ce6cd3b1commit | diff
resync from TJIDE
src/jexer/teditor/Document.java diff | blob | blame | history
Small java utilities, mostly for personal use -- but feel free to have a look