Merge branch 'indent-print' into 'main'

Indentation update

See merge request simpleos/burritos!25
This commit is contained in:
François Autin 2023-05-10 13:12:13 +00:00
commit f6af4f838b