Skip to content

Commit

Permalink
tweak
Browse files Browse the repository at this point in the history
  • Loading branch information
danmar committed Jun 28, 2023
1 parent 4fe04bc commit df350f7
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions gui/projectfile.ui
Original file line number Diff line number Diff line change
Expand Up @@ -7,7 +7,7 @@
<x>0</x>
<y>0</y>
<width>940</width>
<height>617</height>
<height>701</height>
</rect>
</property>
<property name="windowTitle">
Expand Down Expand Up @@ -461,7 +461,7 @@
<item>
<widget class="QRadioButton" name="mCheckLevelNormal">
<property name="text">
<string>Normal : meant for normal analysis in CI. Analysis should finish in reasonable time.</string>
<string>Normal -- meant for normal analysis in CI. Analysis should finish in reasonable time.</string>
</property>
</widget>
</item>
Expand Down

0 comments on commit df350f7

Please sign in to comment.