diff options
Diffstat (limited to 'reproduce/config/pipeline/INPUTS.mk')
-rw-r--r-- | reproduce/config/pipeline/INPUTS.mk | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/reproduce/config/pipeline/INPUTS.mk b/reproduce/config/pipeline/INPUTS.mk index 6d08d9f..7f5a4c1 100644 --- a/reproduce/config/pipeline/INPUTS.mk +++ b/reproduce/config/pipeline/INPUTS.mk @@ -2,6 +2,8 @@ # # This file is read by the configure script and running Makefiles. # +# Copyright (C) 2018-2019 Mohammad Akhlaghi. +# # Copying and distribution of this file, with or without modification, are # permitted in any medium without royalty provided the copyright notice and # this notice are preserved. This file is offered as-is, without any |