Mercurial > cgi-bin > hgweb.cgi > ClipMan
log
age | author | description |
---|---|---|
Sun, 19 Jan 2020 19:44:42 -0800 | David Barts | Remove some deadwood. |
Sun, 19 Jan 2020 19:39:52 -0800 | David Barts | Fix the glitch of the JTextPane's sometimes being too tall. |
Sun, 19 Jan 2020 18:24:20 -0800 | David Barts | Make border sizes more explicit. |