Merge pull request #50731 from jlesquembre/githud

gitHUD: renamed to githud
This commit is contained in:
Ryan Mulligan 2018-11-19 08:50:12 -08:00 committed by GitHub
commit 3d1fd8367c
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

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;