From c043c45864605ef9b813ed7e4ae74fd862bfa6da Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?J=C3=B6rn-Michael=20Miehe?= Date: Tue, 18 Feb 2020 10:52:26 +0100 Subject: [PATCH] moved Pandoc plugin (may be defunct) --- {build => src}/usr/local/lib/autodoc/plugins/pandoc.sh | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename {build => src}/usr/local/lib/autodoc/plugins/pandoc.sh (100%) diff --git a/build/usr/local/lib/autodoc/plugins/pandoc.sh b/src/usr/local/lib/autodoc/plugins/pandoc.sh similarity index 100% rename from build/usr/local/lib/autodoc/plugins/pandoc.sh rename to src/usr/local/lib/autodoc/plugins/pandoc.sh