##// END OF EJS Templates
Ensure encoding header gets written at start of file...
Ensure encoding header gets written at start of file Check whether the file didn't exist beforehand or if we're not appending (in which case the file gets written anew anyways.
Dominik Dabrowski -
r7848:477a08c9
Show More
Name Size Modified Last Commit Author
/ IPython / frontend / terminal
console
tests
__init__.py Loading ...
embed.py Loading ...
interactiveshell.py Loading ...
ipapp.py Loading ...