diff --git a/debian/patches/3000_no-mnemonics.patch b/debian/patches/3000-no_mnemonics.patch similarity index 100% rename from debian/patches/3000_no-mnemonics.patch rename to debian/patches/3000-no_mnemonics.patch diff --git a/debian/patches/series b/debian/patches/series index 0b5e5bf6f7..993077c0ac 100644 --- a/debian/patches/series +++ b/debian/patches/series @@ -8,6 +8,6 @@ Update-Slovak-translation.patch Update-Hungarian-translation.patch Update-Russian-translation.patch Update-Abkhazian-translation.patch -3000_no-mnemonics.patch +3000-no_mnemonics.patch 3001-command_key.patch 3002-border_colors.patch