Simon Tatham 4ce96879d8 editor: better ways to find the bedstead executable.
Previously the editor just expected to find it in your cwd. Now by
default it looks in the same directory as its own script, which means
you can run it from some other directory.

Also, I've provided a command-line option to override the default, in
case you keep the executable somewhere else again.
2024-10-13 15:04:53 +01:00
2024-06-12 22:54:26 +01:00
2024-10-05 13:06:39 +01:00
2024-10-04 00:30:30 +01:00
2024-08-17 00:11:11 +01:00
2024-10-05 13:06:39 +01:00
2024-10-05 13:06:39 +01:00
2024-10-12 17:05:57 +01:00
Description
No description provided
1.5 MiB
Languages
C 79.4%
HTML 6.6%
Python 6.2%
PostScript 4.4%
CSS 1.9%
Other 1.5%