diff options
author | Jörg Frings-Fürst <debian@jff.email> | 2021-08-22 13:26:24 +0200 |
---|---|---|
committer | Jörg Frings-Fürst <debian@jff.email> | 2021-08-22 13:26:24 +0200 |
commit | 23d41842168ac1a1580111b9c5c73500ceee3d57 (patch) | |
tree | 3d93fc6dc2e11c504742e2e0ddd8fd9f72a7ad2c /debian/files | |
parent | 065aa0ac2027a633904d07ab06c35383740b210b (diff) | |
parent | cabca5887cb1707e81b88becb6ec2de6df4a9b09 (diff) |
Merge tag 'debian/4.0.0-9' into develop
Bugfix release
Diffstat (limited to 'debian/files')
-rw-r--r-- | debian/files | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/debian/files b/debian/files deleted file mode 100644 index 1555377..0000000 --- a/debian/files +++ /dev/null @@ -1 +0,0 @@ -xsd_4.0.0-8_source.buildinfo devel optional |