Changing the QED sign to tombstone
Code
Review changes
Check out branch
Open in Workspace
Download
Patches
Plain diff
Expand sidebar
Changing the QED sign to tombstone
Tomáš Nováček
requested to merge
novacek/QED-sign
into
master
Mar 20, 2024
Overview
0
Commits
1
Pipelines
1
Changes
1
Merge request reports
Loading