diff options
| author | Eelco Dolstra <edolstra@gmail.com> | 2023-03-27 17:04:08 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-03-27 17:04:08 +0200 |
| commit | 5e3f855526644382ea69a3c26b8b7cbe9561d2a9 (patch) | |
| tree | 6d95d66fdba0ba5ff11e3b122bd41e5b9206c543 /local.mk | |
| parent | 237587bc0af9259414d50ed18f137c2214d7abb1 (diff) | |
| parent | 256f3e306369131cb13756ed94606d47c343103e (diff) | |
Merge pull request #7763 from obsidiansystems/installable-wide-info
Stratify `ExtraPathInfo` along `Installable` hierarchy
Diffstat (limited to 'local.mk')
0 files changed, 0 insertions, 0 deletions