DAMASK_EICMD/env
Martin Diehl 2cd5d96a90 not really used, not needed by normal users 2021-01-13 18:42:59 +01:00
..
CONFIG standard name 2021-01-13 14:53:50 +01:00
DAMASK.sh standard name 2021-01-13 14:53:50 +01:00
DAMASK.zsh standard name 2021-01-13 14:53:50 +01:00