not needed anymore

This commit is contained in:
Martin Diehl 2018-05-23 19:48:04 +02:00
parent ce1b294eef
commit 35ba2604d4
3 changed files with 0 additions and 3 deletions

View File

@ -1 +0,0 @@
env/DAMASK.csh

View File

@ -1 +0,0 @@
env/DAMASK.sh

View File

@ -1 +0,0 @@
env/DAMASK.zsh