diff options
| author | regnat <rg@regnat.ovh> | 2021-05-17 08:45:08 +0200 |
|---|---|---|
| committer | regnat <rg@regnat.ovh> | 2021-05-17 08:45:08 +0200 |
| commit | 21050846457f356346204dd52fb7a6d49f710688 (patch) | |
| tree | b431f5168d57bef20608b6e36e11e11cc9843b34 /.gitignore | |
| parent | ec613603ba324bf12f8f554d74fb1a02c6e9b472 (diff) | |
Enfore the use of properly built paths in libcmd
Replace `DerivedPathWithHints` by a new `BuiltPath` type that serves as
a proof that the corresponding path has been built.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions