diff options
| author | John Ericson <John.Ericson@Obsidian.Systems> | 2023-04-17 10:16:57 -0400 |
|---|---|---|
| committer | John Ericson <John.Ericson@Obsidian.Systems> | 2023-04-17 10:16:57 -0400 |
| commit | e12efa365462bf7c65e6b531a7ace4fc1660e2cc (patch) | |
| tree | e11959347637a16cd85a9e104f87c2fe97ce3e26 /src/libcmd/legacy.hh | |
| parent | 1fcd49dbbdf13d673ab7a94b5dd9f9c8b55f5321 (diff) | |
| parent | e641de085b625e56b723f45e8355deaa01ea3a1a (diff) | |
Merge remote-tracking branch 'upstream/master' into ca-drv-exotic
Diffstat (limited to 'src/libcmd/legacy.hh')
| -rw-r--r-- | src/libcmd/legacy.hh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/libcmd/legacy.hh b/src/libcmd/legacy.hh index f503b0da3..357500a4d 100644 --- a/src/libcmd/legacy.hh +++ b/src/libcmd/legacy.hh @@ -1,4 +1,5 @@ #pragma once +///@file #include <functional> #include <map> |