diff options
| author | Eelco Dolstra <edolstra@gmail.com> | 2022-07-28 16:55:03 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-07-28 16:55:03 +0200 |
| commit | 86fcd4f6923b3a8ccca261596b9db0d8c0a873ec (patch) | |
| tree | d0427c4b07c27fc18eb346bd8b74275997c033f5 /mk | |
| parent | 280543933507839201547f831280faac614d0514 (diff) | |
| parent | 85cdaebcd69c4f6abd15b77888f0093be9c5ada4 (diff) | |
Merge pull request #6845 from fricklerhandwerk/attrset
manual: set -> attribute set
Diffstat (limited to 'mk')
0 files changed, 0 insertions, 0 deletions