From 35ba2604d4ce7186d47e8a55ee53ad45072ae06d Mon Sep 17 00:00:00 2001 From: Martin Diehl Date: Wed, 23 May 2018 19:48:04 +0200 Subject: [PATCH] not needed anymore --- DAMASK_env.csh | 1 - DAMASK_env.sh | 1 - DAMASK_env.zsh | 1 - 3 files changed, 3 deletions(-) delete mode 120000 DAMASK_env.csh delete mode 120000 DAMASK_env.sh delete mode 120000 DAMASK_env.zsh diff --git a/DAMASK_env.csh b/DAMASK_env.csh deleted file mode 120000 index e8a0a2c05..000000000 --- a/DAMASK_env.csh +++ /dev/null @@ -1 +0,0 @@ -env/DAMASK.csh \ No newline at end of file diff --git a/DAMASK_env.sh b/DAMASK_env.sh deleted file mode 120000 index 264b07d52..000000000 --- a/DAMASK_env.sh +++ /dev/null @@ -1 +0,0 @@ -env/DAMASK.sh \ No newline at end of file diff --git a/DAMASK_env.zsh b/DAMASK_env.zsh deleted file mode 120000 index cf3a247ef..000000000 --- a/DAMASK_env.zsh +++ /dev/null @@ -1 +0,0 @@ -env/DAMASK.zsh \ No newline at end of file