Pour changer les scores du petit jeu Démineur qui est inclus dans Windows, il suffit d’éditez le fichier WINMINE.INI qui se trouve dans le dossier de Windows.