diff options
| author | rsiddharth <rsd@gnu.org> | 2018-09-09 22:49:55 +0000 |
|---|---|---|
| committer | rsiddharth <rsd@gnu.org> | 2018-09-09 22:49:55 +0000 |
| commit | 834bfc7217ff40b68886e54a71949eaa809e3ae8 (patch) | |
| tree | f9d1cb308fa0df2c39925333daca668b72a8690e /.gitignore | |
| parent | 9339655f0dacfaadc939543639ecb6759c955610 (diff) | |
lps_gen.py: Update write_file.
* lps_gen.py (write_file): Change file mode to just 'w'.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions