| 8b37c67c | 08-Sep-2020 |
Vaclav Hapla <vaclav.hapla@erdw.ethz.ch> |
generatefortranstubs.FixFile(): Print the filename:line:col if NUL in file.
Previous solution was printing the whole rest of the file, which can be very annoying.
Also guard file accesses using `wi
generatefortranstubs.FixFile(): Print the filename:line:col if NUL in file.
Previous solution was printing the whole rest of the file, which can be very annoying.
Also guard file accesses using `with`.
show more ...
|