Anna Maria Bigatti's activity
From 10 Jan 2023 to 08 Feb 2023
18 Jan 2023
-
18:18 CoCoA-5 Design #1698: indent: return a string?
- missing manual
-
18:17 CoCoA-5 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