tools: remove accidentally committed pandoc executables

[ci skip]
2017-01-10 12:32:20 -08:00 · 2017-01-10 12:32:20 -08:00 · ad34e4aa42
commit ad34e4aa42
parent af71a020ff
10 changed files with 0 additions and 0 deletions
--- a/tools/pandoc-add-toc
+++ b/tools/pandoc-add-toc
--- a/tools/pandoc-capitalize-headers
+++ b/tools/pandoc-capitalize-headers
--- a/tools/pandoc-demote-headers
+++ b/tools/pandoc-demote-headers
--- a/tools/pandoc-drop-html-blocks
+++ b/tools/pandoc-drop-html-blocks
--- a/tools/pandoc-drop-html-inlines
+++ b/tools/pandoc-drop-html-inlines
--- a/tools/pandoc-drop-links
+++ b/tools/pandoc-drop-links
--- a/tools/pandoc-drop-man-blocks
+++ b/tools/pandoc-drop-man-blocks
--- a/tools/pandoc-drop-notes
+++ b/tools/pandoc-drop-notes
--- a/tools/pandoc-drop-toc
+++ b/tools/pandoc-drop-toc
--- a/tools/pandoc-drop-web-blocks
+++ b/tools/pandoc-drop-web-blocks