mirrors/Catch2
1
0
Fork 0
mirror of https://github.com/catchorg/Catch2.git synced 2025-04-29 12:03:53 +00:00
Code Issues Releases Wiki Activity
2,744 Commits 13 Branches 135 Tags
Commit Graph

1 Commits

Author SHA1 Message Date
Lotte Steenbrink
d084162b2f Avoid superfluous re-run when specific section is selected 
Fixes #1394
 2019-01-18 15:13:40 +01:00