author | Wuzzy <Wuzzy2@mail.ru> |
Thu, 16 Jul 2020 22:23:08 +0200 | |
changeset 15725 | 4e1ea1bdd803 |
parent 15724 | ff7291bc811f |
child 15726 | 12973ea952c6 |
--- 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")