diff options
author | Aleksey Kladov <[email protected]> | 2020-07-01 08:06:51 +0100 |
---|---|---|
committer | Aleksey Kladov <[email protected]> | 2020-07-01 08:06:51 +0100 |
commit | e336a96998710c94685d42435acccff15dc8cd4f (patch) | |
tree | f140a859ec5829be7f01cbca6e958632ab261c71 /.github | |
parent | b1a2d016450c96581c9cc70cc464f8aab2e5c0f3 (diff) |
FileSetConfig works with empty set of roots
Closes #5139
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions