diff options
| author | Julian Stecklina <js@alien8.de> | 2020-03-29 23:47:48 +0200 |
|---|---|---|
| committer | Julian Stecklina <js@alien8.de> | 2020-03-30 00:32:42 +0200 |
| commit | 40c023ecfe49fea6e66db34c5f841fcf7001cbeb (patch) | |
| tree | 21403b66801810b49b977636b1021bbe5cb3b44d /Makefile | |
| parent | f686efeed4d6305101c56136855e2d6b87e649e4 (diff) | |
fetchGit: don't use std::filesystem to filter git repos
Using std::filesystem means also having to link with -lstdc++fs on
some platforms and it's hard to discover for what platforms this is
needed. As all the functionality is already implemented as utilities,
use those instead.
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions