diff options
Diffstat (limited to 'dist/dist_zipdist.dist')
| -rw-r--r-- | dist/dist_zipdist.dist | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/dist/dist_zipdist.dist b/dist/dist_zipdist.dist index b55e3e8c..4ce1c1bc 100644 --- a/dist/dist_zipdist.dist +++ b/dist/dist_zipdist.dist @@ -1,4 +1,5 @@ # +# Copyright (c) 2016, 2017, 2018, 2019, 2020, 2021, 2022, 2023 Lucía Andrea Illanes Albornoz <lucia@luciaillanes.de> # set +o errexit -o noglob -o nounset is assumed. # |