diff options
Diffstat (limited to 'support/dktools/plpdftex.h')
-rw-r--r-- | support/dktools/plpdftex.h | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/support/dktools/plpdftex.h b/support/dktools/plpdftex.h index f40864297d..e994ede728 100644 --- a/support/dktools/plpdftex.h +++ b/support/dktools/plpdftex.h @@ -1,4 +1,9 @@ /* +Copyright 2020, Dirk Krause. All rights reserved. +SPDX-License-Identifier: BSD-3-Clause +*/ + +/* WARNING: This file was generated by dkct. Changes you make here will be lost if dkct is run again! You should modify the original source and run dkct on it. @@ -6,7 +11,7 @@ */ /* -Copyright (C) 2014-2017, Dirk Krause +Copyright (C) 2014-2018, Dirk Krause Redistribution and use in source and binary forms, with or without modification, are permitted provided that the following conditions are met: |