Backport formatting from Julia course (2022-06-08)
Mainly code highlights, uncluttering and pictures.
@laurent.heirendt is there a place to document the use of .leader
and the emoji for theme users?
Refs to what this looks like:
SIU will perform a maintenance in the server room on Thursday 24th October which will cause Gitlab to be unavailable for sometime. Thanks for your understanding
Mainly code highlights, uncluttering and pictures.
@laurent.heirendt is there a place to document the use of .leader
and the emoji for theme users?
Refs to what this looks like: