diff options
Diffstat (limited to 'src/libmain/common-args.hh')
| -rw-r--r-- | src/libmain/common-args.hh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/libmain/common-args.hh b/src/libmain/common-args.hh index f180d83ce..e7ed0d934 100644 --- a/src/libmain/common-args.hh +++ b/src/libmain/common-args.hh @@ -1,4 +1,5 @@ #pragma once +///@file #include "args.hh" |