From 57f965cc6e3ad5549be5384a35934d706ab2fb54 Mon Sep 17 00:00:00 2001 From: Eduard Toloza Date: Fri, 8 Feb 2019 22:40:44 -0500 Subject: [PATCH] Change directory for some tools. --- {user-bin => devtools}/bamvpkgs | 0 {user-bin => devtools}/inspkgs | 0 2 files changed, 0 insertions(+), 0 deletions(-) rename {user-bin => devtools}/bamvpkgs (100%) rename {user-bin => devtools}/inspkgs (100%) diff --git a/user-bin/bamvpkgs b/devtools/bamvpkgs similarity index 100% rename from user-bin/bamvpkgs rename to devtools/bamvpkgs diff --git a/user-bin/inspkgs b/devtools/inspkgs similarity index 100% rename from user-bin/inspkgs rename to devtools/inspkgs