Skip to content

Update FetchContent to grab Catch2 with tag v2.13.2#27

Merged
wavefunction91 merged 1 commit into
masterfrom
bugfix/catch2-tag
Oct 21, 2020
Merged

Update FetchContent to grab Catch2 with tag v2.13.2#27
wavefunction91 merged 1 commit into
masterfrom
bugfix/catch2-tag

Conversation

@wavefunction91

Copy link
Copy Markdown
Owner

Closes #26

@wavefunction91 wavefunction91 merged commit 043ab27 into master Oct 21, 2020
@wavefunction91 wavefunction91 deleted the bugfix/catch2-tag branch October 21, 2020 16:38
@wavefunction91 wavefunction91 mentioned this pull request Oct 21, 2020
4 tasks
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Catch2 Tag for Fetching Content

1 participant