diff --git a/tools/blockquote2div.py b/tools/blockquote2div.py old mode 100644 new mode 100755 index a23109f076b77efe474ed58fceee748fdabb5fc1..bd3b52ba8eac77bdf9dcdaa69d44fab0c0c6431b --- a/tools/blockquote2div.py +++ b/tools/blockquote2div.py @@ -1,3 +1,4 @@ +#!/usr/bin/env python """Pandoc filter to convert Blockquotes with attributes into Div with attributes.