* python.el (python-shell-send-file): Add option to delete file when done.
(python-shell-send-string, python-shell-send-region): Use it. Fixes: debbugs:15647
Showing
Please register or sign in to comment
(python-shell-send-string, python-shell-send-region): Use it. Fixes: debbugs:15647