diff options
author | David Kalnischkies <david@kalnischkies.de> | 2020-05-19 11:20:28 +0200 |
---|---|---|
committer | David Kalnischkies <david@kalnischkies.de> | 2020-05-19 11:22:19 +0200 |
commit | dcd920e99df964d320e18ac133d575d4151deb85 (patch) | |
tree | fd76fae83ae0e7a1b7be8af1b0daeb0de29d780e /.gitignore | |
parent | 1af12dd37acbb2c3987b71d85113f68d1f2bea1e (diff) |
Check satisfiability for versioned provides, not providing version
References: dcdfb4723a9969b443d1c823d735e192c731df69
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions