It should be closed automatically, but perhaps this fails on Windows, especially when the process is interrupted? git-svn-id: https://pandoc.googlecode.com/svn/trunk@1410 788f1e2b-df1e-0410-8736-df70ead52e1b |
||
---|---|---|
.. | ||
Pandoc | ||
XML | ||
Pandoc.hs |
It should be closed automatically, but perhaps this fails on Windows, especially when the process is interrupted? git-svn-id: https://pandoc.googlecode.com/svn/trunk@1410 788f1e2b-df1e-0410-8736-df70ead52e1b |
||
---|---|---|
.. | ||
Pandoc | ||
XML | ||
Pandoc.hs |