Sun, 26 Jul 2020 14:26:06 -0700 |
David Barts |
Add where Osdep is.
|
Tue, 12 May 2020 16:23:43 -0700 |
David Barts |
Update Readme, add License.
|
Thu, 07 May 2020 17:15:43 -0700 |
davidb |
Tabs to spaces (argh).
|
Thu, 07 May 2020 17:12:25 -0700 |
davidb |
Always define an editor kit, so we always get HTML mode.
|
Thu, 07 May 2020 14:21:23 -0700 |
David Barts |
tabs to spaces
|
Thu, 07 May 2020 14:05:40 -0700 |
davidb |
Fix multiple border glitches.
|
Thu, 07 May 2020 12:33:52 -0700 |
David Barts |
Fix help dialog.
|
Thu, 07 May 2020 09:59:28 -0700 |
David Barts |
Get help working on Linux.
|