##// END OF EJS Templates
Remove deprecated call_tip since 6.0 (#14607)...
Remove deprecated call_tip since 6.0 (#14607) Nothing should be using it.
M Bussonnier -
r29005:a32b2ff4 merge
Show More