diff options
| author | Erich Eckner <git@eckner.net> | 2018-03-22 15:45:47 +0100 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2018-03-22 15:45:47 +0100 |
| commit | ba6f43ca62a719d075cd23ccba35dbbab5f43951 (patch) | |
| tree | 21ff5f78092909dac12e0b36bb5599852d2ae47e /conf | |
| parent | b3023cfe9c2d4e8319885e22a575bd1a522b3f6c (diff) | |
| download | builder-ba6f43ca62a719d075cd23ccba35dbbab5f43951.tar.xz | |
decommission deletion-list
Diffstat (limited to 'conf')
| -rwxr-xr-x | conf/default.conf | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/conf/default.conf b/conf/default.conf index e8e0169..11483a0 100755 --- a/conf/default.conf +++ b/conf/default.conf @@ -133,7 +133,6 @@ if [ -z "${package_database_lock_file}" ]; then fi mkdir -p "${work_dir}" -touch "${work_dir}/deletion-list" for repo in ${repo_names}; do |