Merge branch 'Extrae-Executions' into 'RMA-Distributions'
# Conflicts: # Exec/CheckRun.sh # Exec/Extrae/trace_worker.sh # Exec/generalRunCostum.sh # Exec/multipleRuns.sh # Exec/singleRun.sh # Exec/singleRunCostum.sh
Exec/configuration.ini
0 → 100644
Manual.pdf
0 → 100644
File added
Please register or sign in to comment