diff --git a/gui/projectfile.ui b/gui/projectfile.ui index 16601c4927e..79ed0908fd5 100644 --- a/gui/projectfile.ui +++ b/gui/projectfile.ui @@ -7,7 +7,7 @@ 0 0 940 - 617 + 701 @@ -461,7 +461,7 @@ - Normal : meant for normal analysis in CI. Analysis should finish in reasonable time. + Normal -- meant for normal analysis in CI. Analysis should finish in reasonable time.