From c4375fe45858883e672fe69e485b4698992688d3 Mon Sep 17 00:00:00 2001 From: Dirk Sarpe <dirk.sarpe@idiv.de> Date: Fri, 27 Sep 2019 16:30:46 +0200 Subject: [PATCH] rename homedir to homesdir we use homesdir on the server (for whatever reason) --- homedirs.sh => homesdirs.sh | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename homedirs.sh => homesdirs.sh (100%) diff --git a/homedirs.sh b/homesdirs.sh similarity index 100% rename from homedirs.sh rename to homesdirs.sh -- GitLab