gitHUD: renamed to githud

This commit is contained in:
José Luis Lafuente 2018-11-19 15:33:29 +01:00
parent 9020edcf86
commit 1fe45bff2e
No known key found for this signature in database
GPG key ID: 8A3455EBE455489A

View file

@ -897,6 +897,7 @@ self: super: {
cryptohash-md5 = doJailbreak super.cryptohash-md5;
text-short = doJailbreak super.text-short;
gitHUD = dontCheck super.gitHUD;
githud = dontCheck super.githud;
# https://github.com/aisamanra/config-ini/issues/12
config-ini = dontCheck super.config-ini;