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/build/goal.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/build/goal.hh')
-rw-r--r-- | src/libstore/build/goal.hh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/libstore/build/goal.hh b/src/libstore/build/goal.hh index 776eb86bc..924a8bbd5 100644 --- a/src/libstore/build/goal.hh +++ b/src/libstore/build/goal.hh @@ -1,4 +1,5 @@ #pragma once +///@file #include "types.hh" #include "store-api.hh" |