Merge pull request #59375 from worldofpeace/font-droid-throw

aliases: add throw for font-droid
This commit is contained in:
worldofpeace 2019-04-13 14:18:15 -04:00 committed by GitHub
commit 6cc43add3f
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -95,6 +95,7 @@ mapAliases ({
firefoxWrapper = firefox; # 2015-09
flameGraph = flamegraph; # added 2018-04-25
font-awesome-ttf = font-awesome; # 2018-02-25
font-droid = throw "font-droid has been deprecated by noto-fonts"; # 2019-04-12
foomatic_filters = foomatic-filters; # 2016-08
fuse_exfat = exfat; # 2015-09-11
fuseki = apache-jena-fuseki; # added 2018-04-25