diff options
author | Norbert Preining <norbert@preining.info> | 2020-09-20 03:03:26 +0000 |
---|---|---|
committer | Norbert Preining <norbert@preining.info> | 2020-09-20 03:03:26 +0000 |
commit | 1f457376b478257b88d4a857f5ec1b6155442dd7 (patch) | |
tree | 2a06a60551dea362cf8cb0cb0ba66c78608717c4 /support/dktools/dkct.h | |
parent | ac690ca29ad5bf8a5203a65fd6252f7b564f4727 (diff) |
CTAN sync 202009200303
Diffstat (limited to 'support/dktools/dkct.h')
-rw-r--r-- | support/dktools/dkct.h | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/support/dktools/dkct.h b/support/dktools/dkct.h index 890048290b..45dc39497b 100644 --- a/support/dktools/dkct.h +++ b/support/dktools/dkct.h @@ -1,3 +1,7 @@ +/* +Copyright 2011-2020, Dirk Krause. All rights reserved. +SPDX-License-Identifier: BSD-3-Clause +*/ #ifndef DKCT_H_INCLUDED #define DKCT_H_INCLUDED 1 @@ -27,6 +31,7 @@ typedef struct { int win; /**< Flag: Add support for Windows wide chars. */ int port; /**< Flag: Produce portable output (implies win). */ int tip; /**< Flag: trace include printed. */ + int nowarn; /**< Flag: Do not write warning at start of file. */ char spls; /**< Splint special character. */ } DKCT_OPTION_SET; |