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 /.dir-locals.el | |
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 '.dir-locals.el')
0 files changed, 0 insertions, 0 deletions