diff options
author | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2019-04-01 00:06:02 +0100 |
---|---|---|
committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2019-04-01 00:06:02 +0100 |
commit | 67b1fe89dc6ec608c69f04c19941db6e3679c1e3 (patch) | |
tree | c36bcee3b38df3ae14df48ff290972ca093bc4db /reproduce/config/gnuastro/gnuastro.conf | |
parent | a1aedecd601788bc7a3f34848fdfa6531fb873b6 (diff) |
Added short copyright notice on configuration files
A short, all-permisive copyright notice was added to the configuration
files that were missing one.
Diffstat (limited to 'reproduce/config/gnuastro/gnuastro.conf')
-rw-r--r-- | reproduce/config/gnuastro/gnuastro.conf | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/reproduce/config/gnuastro/gnuastro.conf b/reproduce/config/gnuastro/gnuastro.conf index 561df9f..20ba4a9 100644 --- a/reproduce/config/gnuastro/gnuastro.conf +++ b/reproduce/config/gnuastro/gnuastro.conf @@ -9,6 +9,11 @@ # The rest of this configuration file in this template reproduction # pipeline is taken from the default Gnuastro configuration from its # source (`bin/gnuastro.conf'). +# +# 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 +# warranty. # Reproduction pipeline (`config' has to be before `lastconfig'). config .gnuastro/gnuastro-local.conf |