diff options
Diffstat (limited to 'reproduce/config/pipeline/texlive.conf')
-rw-r--r-- | reproduce/config/pipeline/texlive.conf | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/reproduce/config/pipeline/texlive.conf b/reproduce/config/pipeline/texlive.conf index 1f515c1..0010c70 100644 --- a/reproduce/config/pipeline/texlive.conf +++ b/reproduce/config/pipeline/texlive.conf @@ -3,6 +3,8 @@ # installdir: Install directory # topdir: Top pipeline directory # +# 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 |