Open dmavroeidis opened 2 years ago
Made some changes in the title in the ert extractor:
These changes allow for more intuitive file naming and -additionally- allow for proper file ordering in all operating systems.
Made some changes in the title in the ert extractor:
These changes allow for more intuitive file naming and -additionally- allow for proper file ordering in all operating systems.