diff options
Diffstat (limited to 'reproduce/config/pipeline/LOCAL.mk.in')
| -rw-r--r-- | reproduce/config/pipeline/LOCAL.mk.in | 16 |
1 files changed, 0 insertions, 16 deletions
diff --git a/reproduce/config/pipeline/LOCAL.mk.in b/reproduce/config/pipeline/LOCAL.mk.in deleted file mode 100644 index 785bb6a..0000000 --- a/reproduce/config/pipeline/LOCAL.mk.in +++ /dev/null @@ -1,16 +0,0 @@ -# Local project configuration. -# -# This is just a template for the `./configure' script to fill in. Please -# don't make any change to this file. -# -# Copyright (C) 2018-2019 Mohammad Akhlaghi <mohammad@akhlaghi.org> -# -# 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. -BDIR = @bdir@ -INDIR = @indir@ -DEPENDENCIES-DIR = @ddir@ -DOWNLOADER = @downloader@ -GROUP-NAME = @groupname@ |