Viktor Ferenczi 272ecddb28 Properly closing all files in Python code

2018-03-11 14:55:50 +01:00

..

doc_merge.py

…

doc_status.py

…

makemd.py

Properly closing all files in Python code

2018-03-11 14:55:50 +01:00

makerst.py

Properly closing all files in Python code

2018-03-11 14:55:50 +01:00