changeset 15725 | 4e1ea1bdd803 |
parent 15605 | 969bc30928da |
child 15977 | f81fe8250ed9 |
--- a/misc/flags_js.xhtml Thu Jul 16 22:30:32 2020 +0300 +++ b/misc/flags_js.xhtml Thu Jul 16 22:23:08 2020 +0200 @@ -169,6 +169,9 @@ for (var i=0;i<flags.length;i++) { var flag = flags[i]; + // Skip CPU flags + if (flag === "cpu" || flag === "cpu_plain") + continue; var oldFlagState = flagState; if (flagState === 0 && flag !== "hedgewars")