##// END OF EJS Templates
remove alt-- shortcut...
remove alt-- shortcut replace with ctrl-shift-- alt is not safe for defaults

File last commit:

r13348:e6afea51
r15898:a8b6c57e
Show More
print_argv.py
3 lines | 69 B | text/x-python | PythonLexer
from __future__ import print_function
import sys
print(sys.argv[1:])