Martin Diehl
|
b7e85b6873
|
bugfix: wrong path
|
2020-09-15 17:13:13 +02:00 |
|
Martin Diehl
|
4406493def
|
non-dot versions are handled as integers
|
2020-09-14 17:08:31 +02:00 |
|
Martin Diehl
|
888e7028f9
|
python is more convenient
|
2020-07-18 10:12:22 +02:00 |
|
Martin Diehl
|
e81b798662
|
corrected shell extension for apply_DAMASK_modifications.sh (was py)
|
2014-01-18 18:00:28 +00:00 |
|
Philip Eisenlohr
|
fc7fd80e9c
|
following convention of ".py" extension for Python scripts (now also compatible with new Makefile)
|
2014-01-16 21:53:14 +00:00 |