catchorg/Catch2
1
0
Fork 1
mirror of https://github.com/catchorg/Catch2.git synced 2025-11-15 23:09:36 +01:00
Code Issues Packages Projects Releases Wiki Activity
Files
5df88da16e276f853cc0c45f4b570419be77dd43
Catch2/tools/scripts/extractFeaturesFromReleaseNotes.py
Martin Hořeňovský 0d8eeec557 Move all scripts to Python3
2020-04-29 21:28:52 +02:00

3.5 KiB
Raw Blame History

View Raw
Reference in New Issue View Git Blame Copy Permalink