Remove gitmodule for Catch2, replaced it with header file

Browse Source

...

This commit is contained in:

Deukhoofd

2019-05-19 14:42:45 +02:00

parent 01e8075958

commit 96943bad7e

5 changed files with 15006 additions and 7 deletions

Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL

Download Patch File Download Diff File Expand all files Collapse all files

1

extern/Catch2 vendored

Submodule extern/Catch2 deleted from e680c4b9fb

15003

extern/catch.hpp vendored Normal file

File diff suppressed because it is too large Load Diff