Skip to content
GitLab

Rename (un)sorted list to (un)ordered list 

Fixes arsnova#105.
4 jobs for rename-ul-ol-labels
in 1 minute and 10 seconds and was queued for 2 seconds
6aa01bc7
1 related merge request: !87 Rename (un)sorted list to (un)ordered list