diff options
author | Robert Hensing <roberth@users.noreply.github.com> | 2023-10-30 13:14:22 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-10-30 13:14:22 +0100 |
commit | 1c92b1f03bd4c8c98f355554592e21a9d3e8a6da (patch) | |
tree | d0f8f91f7ff2f4689718df82275b63c2067d68c6 /maintainers | |
parent | 3e93e2445ab48d167d27cf0d45f684cb0a389810 (diff) | |
parent | 47c81d3286bd027d5b55fa581f9502eff4ea8822 (diff) |
Merge pull request #263478 from tweag/fileset/unknown-type-error
`lib.fileset.toSource`: Improve error for unknown file types
Diffstat (limited to 'maintainers')
0 files changed, 0 insertions, 0 deletions