переименование опции. v++

2024-07-31 22:34:04 +03:00
parent 5057db453f
commit 80e3537fb0
4 changed files with 5 additions and 6 deletions
--- a/src/GlobalData/Settings/SettingName.java
+++ b/src/GlobalData/Settings/SettingName.java
@@ -142,7 +142,7 @@ public enum SettingName {
            case DEBUG_PRINT_ON:
                return "Включить отладочную печать";
            case MPI_PROGRAM:
-                return "MPI программа";
+                return "Общая память";
            case IGNORE_IO_SAPFOR:
                return "Игнорировать ввод/вывод";
            case KEEP_SPF_DIRECTIVES_AMONG_TRANSFORMATIONS: