diff options
-rw-r--r-- | copyright-exceptions | 1 | ||||
-rw-r--r-- | pipelines/get_sources.ick | 5 |
2 files changed, 6 insertions, 0 deletions
diff --git a/copyright-exceptions b/copyright-exceptions index f527674..28320e8 100644 --- a/copyright-exceptions +++ b/copyright-exceptions @@ -10,6 +10,7 @@ debian/dirs debian/install debian/source/format ick2/version.py +pipelines/get_sources.ick pylint.conf yarns/yarn.css without-tests diff --git a/pipelines/get_sources.ick b/pipelines/get_sources.ick index 94c72bf..caf8a03 100644 --- a/pipelines/get_sources.ick +++ b/pipelines/get_sources.ick @@ -1,3 +1,8 @@ +# Lars Wirzenius, with help from Daniel Silverstone. +# +# Feel free to use this as you wish. It is simple enough that it is +# probably not even copyrightable. + pipelines: # Get sources from git servers, as specified in the "sources" |