diff options
| author | Daniel Baumann <daniel.baumann@progress-linux.org> | 2019-03-02 14:57:11 +0000 |
|---|---|---|
| committer | Daniel Baumann <daniel.baumann@progress-linux.org> | 2019-03-02 14:59:36 +0000 |
| commit | d3d8b078c3b87b4ef6e5691d26f33ad83b8d5f49 (patch) | |
| tree | 64768b8269bbad4caf1f0ad9f59354fc8128d8d5 | |
| parent | Updating packaging for upstream rename. (diff) | |
| download | open-infrastructure-service-tools-d3d8b078c3b87b4ef6e5691d26f33ad83b8d5f49.tar.xz open-infrastructure-service-tools-d3d8b078c3b87b4ef6e5691d26f33ad83b8d5f49.zip | |
Removing source local-options, not needed anymore.
Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>
Diffstat (limited to '')
| -rw-r--r-- | debian/source/local-options | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/debian/source/local-options b/debian/source/local-options deleted file mode 100644 index 2ee6f0f..0000000 --- a/debian/source/local-options +++ /dev/null @@ -1 +0,0 @@ -abort-on-upstream-changes |