Changeset 4f7f2cd in git for .circleci

Timestamp:

Jul 20, 2019, 11:54:05 AM (5 years ago)

Author:

GitHub <noreply@…>

Branches:

ImprovedOutputFile, Timing, master

Children:

270bd4f

Parents:

6182516 (diff), 0e6b14e (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the (diff) links above to see all the changes relative to each parent.

git-author:

Michele Selvaggi <michele.selvaggi@…> (07/20/19 11:54:05)

git-committer:

GitHub <noreply@…> (07/20/19 11:54:05)

Message:

Merge pull request #69 from uschnoor/master

adjust isolation criteria of the CLICdet cards

(No files)