27 Aoû
2022
27 Aoû
'22
15:46
Simon Génier [2022-08-26 22:34:36] wrote:
mais ressuscitée par
https://gitlab.com/monnier/typer/-/commit/3a9417d8ad5d9375310ffde5e49724711d...
Duh! Les miracles des GUIs. Je vais corriger ça. Merce de m'en avertir.
Laquelle est la vraie branche principale ?
`main` Stefan