Commit 0b166385 authored by georg's avatar georg
Browse files

Merge branch 'make-x-list-name-bold' into 'main'

Make x-list-name bold, similar to all the other keywords

See merge request !106
parents e42ef7fe 78f81d78
Pipeline #58971 passed with stages
in 51 seconds