Closed GoogleCodeExporter closed 9 years ago
Create a new file (unnamed0.py) -> the header tells unnamed0.py Save the file -> the header still uses the old name
Original issue reported on code.google.com by sergey.s...@gmail.com on 15 Oct 2013 at 6:58
sergey.s...@gmail.com
Original comment by sergey.s...@gmail.com on 18 Oct 2013 at 8:28
Original issue reported on code.google.com by
sergey.s...@gmail.com
on 15 Oct 2013 at 6:58