diff options
| author | John Ericson <John.Ericson@Obsidian.Systems> | 2023-03-31 23:18:41 -0400 |
|---|---|---|
| committer | John Ericson <John.Ericson@Obsidian.Systems> | 2023-03-31 23:19:44 -0400 |
| commit | f4ab297b3185ca4214cfa83bbd4b8f0039b6fadf (patch) | |
| tree | 0fa291d5a9197244adedfa49cd954fa537c78a99 /src/libstore/repair-flag.hh | |
| parent | abd5e7dec039386628223f886b33047734172c8d (diff) | |
Ensure all headers have `#pragma once` and are in API docs
`///@file` makes them show up in the internal API dos. A tiny few were
missing `#pragma once`.
Diffstat (limited to 'src/libstore/repair-flag.hh')
| -rw-r--r-- | src/libstore/repair-flag.hh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/libstore/repair-flag.hh b/src/libstore/repair-flag.hh index a13cda312..f412d6a20 100644 --- a/src/libstore/repair-flag.hh +++ b/src/libstore/repair-flag.hh @@ -1,4 +1,5 @@ #pragma once +///@file namespace nix { |