diff options
author | Eelco Dolstra <edolstra@gmail.com> | 2022-10-25 17:31:23 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-10-25 17:31:23 +0200 |
commit | fed1700754b46ef05c996f2c7b0ec30da4dc6ce0 (patch) | |
tree | 1cec5fbbfdd209f1bd7d9a1eb69f6c68c437038a /precompiled-headers.h | |
parent | c7414d48f2652fef03651e8b7228f8957f0cd82b (diff) | |
parent | da2c61637bbf5d22fc2aa3c8d24005f364d28fa2 (diff) |
Merge pull request #7207 from NixOS/flake-type
Mark flakes with ._type = "flake".
Diffstat (limited to 'precompiled-headers.h')
0 files changed, 0 insertions, 0 deletions