]> source.charles.plessy.org Git - source/.git/commitdiff
Typo
authorCharles Plessy <plessy@debian.org>
Thu, 24 Feb 2022 13:12:05 +0000 (22:12 +0900)
committerCharles Plessy <plessy@debian.org>
Thu, 24 Feb 2022 13:12:05 +0000 (22:12 +0900)
Debian/debiâneries/media-types-2022.mdwn

index 5e60f21a9019c4c3cfac84de5470b6bc1a6ba885..9db316d0f016a5241bfddb0506d4904d69f571f8 100644 (file)
@@ -6,7 +6,7 @@
 
 En début d'année j'ai mis à jour une centaine de [types de
 media](https://fr.wikipedia.org/wiki/Type_de_m%C3%A9dias) associés à des
-extensions de nom de fichier dans le fichier `/etc/mine.types`, distribué
+extensions de nom de fichier dans le fichier `/etc/mime.types`, distribué
 par le paquet [[!debpkg media-types]].  La plupart des
 [changements](https://metadata.ftp-master.debian.org/changelogs//main/m/media-types/media-types_5.0.0_changelog)
 sont des additions en provenance des déclarations récentes