From f54390ebdc1e4990a6cd7b051de61d53b99d8b09 Mon Sep 17 00:00:00 2001
From: "Joachim Wuttke (l)" <j.wuttke@fz-juelich.de>
Date: Tue, 12 Jul 2016 19:52:48 +0200
Subject: [PATCH] script file names uniformely with hyphen, not with underscore

---
 dev-tools/edit/{update_minimizers.py => update-minimizers.py}     | 0
 .../{update_sourcecode_header.py => update-sourcecode-header.py}  | 0
 2 files changed, 0 insertions(+), 0 deletions(-)
 rename dev-tools/edit/{update_minimizers.py => update-minimizers.py} (100%)
 rename dev-tools/edit/{update_sourcecode_header.py => update-sourcecode-header.py} (100%)

diff --git a/dev-tools/edit/update_minimizers.py b/dev-tools/edit/update-minimizers.py
similarity index 100%
rename from dev-tools/edit/update_minimizers.py
rename to dev-tools/edit/update-minimizers.py
diff --git a/dev-tools/edit/update_sourcecode_header.py b/dev-tools/edit/update-sourcecode-header.py
similarity index 100%
rename from dev-tools/edit/update_sourcecode_header.py
rename to dev-tools/edit/update-sourcecode-header.py
-- 
GitLab