##// END OF EJS Templates
change prompt_numper type...
change prompt_numper type prompt number type was number or string ('*', ' ') require it to be either number, or null

File last commit:

r2045:2b04bcfb
r8520:f4928436
Show More
shadowns.py
1 line | 24 B | text/x-python | PythonLexer
""" Shadow namespace """