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