Changeset 1d6586a in git for .circleci

Timestamp:

Jul 2, 2019, 11:11:16 AM (5 years ago)

Author:

Ulrike Schnoor <ulrike.schnoor@…>

Branches:

ImprovedOutputFile, Timing, master

Children:

0e6b14e

Parents:

505a779

Message:

small fix

(No files)