DAMASK_EICMD/env
Martin Diehl 190c9a1b0d Merge branch 'misc-improvements' into Marc-2019.1 2020-07-16 09:28:11 +02:00
..
CONFIG Marc 2019.1 is new standard version 2020-07-14 12:10:43 +02:00
DAMASK.csh look for new name 2020-07-06 16:33:48 +02:00
DAMASK.sh look for new name 2020-07-06 16:33:48 +02:00
DAMASK.zsh look for new name 2020-07-06 16:33:48 +02:00