Activity
From 06 Jan 2023 to 04 Feb 2023
18 Jan 2023
- 18:18 Design #1698: indent: return a string?
- missing manual
- 18:17 Design #1698: indent: return a string?
- John Abbott wrote:
> Are these changes checked in?
> [I think probably not yet]
yes, just now ;-)
Also available in: Atom