diff options
Diffstat (limited to 'support/splint/examples/types/Makefile')
-rw-r--r-- | support/splint/examples/types/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/support/splint/examples/types/Makefile b/support/splint/examples/types/Makefile index 3dd52abeed..b313a18d0f 100644 --- a/support/splint/examples/types/Makefile +++ b/support/splint/examples/types/Makefile @@ -1,4 +1,4 @@ -# Copyright 2012-2020, Alexander Shibakov +# Copyright 2012-2022, Alexander Shibakov # This file is part of SPLinT # # SPLinT is free software: you can redistribute it and/or modify |