Skip to content
Snippets Groups Projects
Commit 10a98f20 authored by Tomáš Nováček's avatar Tomáš Nováček
Browse files

Merge branch 'novacek/QED-sign' into 'master'

Changing the QED sign to tombstone

See merge request !19
parents a18b8b08 3b1a244e
No related branches found
No related tags found
Loading
Checking pipeline status