From 74d8beff3a6cb533bedc406786b50ba2c1f5b839 Mon Sep 17 00:00:00 2001 From: Alexander Gehrke Date: Mon, 20 Jul 2020 16:18:36 +0200 Subject: [PATCH] move some scripts to devel subfolder --- {misc => devel}/dmjavadoc | 0 {misc => devel}/dmscaladoc | 0 {misc => devel}/dmtexdoc | 0 {misc => devel}/idea | 0 {misc => devel}/ipy | 0 {misc => devel}/mkscript | 0 {misc => devel}/pomdep-graph | 0 {misc => devel}/update-amm | 0 8 files changed, 0 insertions(+), 0 deletions(-) rename {misc => devel}/dmjavadoc (100%) rename {misc => devel}/dmscaladoc (100%) rename {misc => devel}/dmtexdoc (100%) rename {misc => devel}/idea (100%) rename {misc => devel}/ipy (100%) rename {misc => devel}/mkscript (100%) rename {misc => devel}/pomdep-graph (100%) rename {misc => devel}/update-amm (100%) diff --git a/misc/dmjavadoc b/devel/dmjavadoc similarity index 100% rename from misc/dmjavadoc rename to devel/dmjavadoc diff --git a/misc/dmscaladoc b/devel/dmscaladoc similarity index 100% rename from misc/dmscaladoc rename to devel/dmscaladoc diff --git a/misc/dmtexdoc b/devel/dmtexdoc similarity index 100% rename from misc/dmtexdoc rename to devel/dmtexdoc diff --git a/misc/idea b/devel/idea similarity index 100% rename from misc/idea rename to devel/idea diff --git a/misc/ipy b/devel/ipy similarity index 100% rename from misc/ipy rename to devel/ipy diff --git a/misc/mkscript b/devel/mkscript similarity index 100% rename from misc/mkscript rename to devel/mkscript diff --git a/misc/pomdep-graph b/devel/pomdep-graph similarity index 100% rename from misc/pomdep-graph rename to devel/pomdep-graph diff --git a/misc/update-amm b/devel/update-amm similarity index 100% rename from misc/update-amm rename to devel/update-amm