Skip to content

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:

Merge request reports

Loading