]> git.sur5r.net Git - kconfig-frontends/search
scripts: use a dot to separate third and fourth digits