diff options
| author | Jörg Frings-Fürst <debian@jff-webhosting.net> | 2019-07-13 11:13:54 +0200 |
|---|---|---|
| committer | Jörg Frings-Fürst <debian@jff-webhosting.net> | 2019-07-13 11:13:54 +0200 |
| commit | e48d2727885efda8369c7edbc2e3929a59532adc (patch) | |
| tree | e508a93cee31fc644b250f094dbbf865f3576910 /debian/files | |
| parent | 574f09548fd93dedf3f1f2a3e39b981097dcfd5c (diff) | |
| parent | af3e247792008761aa27cd29c91d4fec08f01eaf (diff) | |
sync3.0.0+repack-2
Diffstat (limited to 'debian/files')
| -rw-r--r-- | debian/files | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/debian/files b/debian/files index d209510..8cfe841 100644 --- a/debian/files +++ b/debian/files @@ -1 +1 @@ -scons-doc_3.0.0+repack-1_source.buildinfo doc optional +scons-doc_3.0.0+repack-2_source.buildinfo doc optional |