diff options
Diffstat (limited to 'dist/dist_minipix.dist')
| -rw-r--r-- | dist/dist_minipix.dist | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/dist/dist_minipix.dist b/dist/dist_minipix.dist index d3098787..eab7b297 100644 --- a/dist/dist_minipix.dist +++ b/dist/dist_minipix.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. # |