##// END OF EJS Templates
make parent_header available from the Shell object
make parent_header available from the Shell object
MinRK -
r13222:5bd8c192
Show More