Drop madcoder, adeodato (commented out) and jurij's hint files

master
Adam D. Barratt 13 years ago
parent f58a3771a2
commit df0e314e27

@ -39,15 +39,12 @@ HINTS_VORLON = ALL
HINTS_ABA = ALL
HINTS_HE = ALL
HINTS_LUK = ALL
#HINTS_ADEODATO = ALL
HINTS_ZOBEL = STANDARD force
HINTS_PKERN = STANDARD force
HINTS_MADCODER = STANDARD
HINTS_NEILM = STANDARD
HINTS_FREEZE = block block-all block-udeb
HINTS_FREEZE-EXCEPTION = unblock unblock-udeb
HINTS_ADSB = STANDARD force force-hint
HINTS_JURIJ = STANDARD
HINTS_MEHDI = STANDARD
HINTS_FAW = HELPERS
HINTS_NTHYKIER = HELPERS

Loading…
Cancel
Save