4 Commits

Author	SHA1	Message	Date
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