Skip to content

Commit

Permalink
Delete packages without check section
Browse files Browse the repository at this point in the history
  • Loading branch information
psimovec committed May 6, 2022
1 parent 112c6bd commit 87b3930
Show file tree
Hide file tree
Showing 331 changed files with 0 additions and 158,302 deletions.
Empty file.
1 change: 0 additions & 1 deletion tests/rpm-pkgs/acpid-2.0.32-7.fc35/test-props

This file was deleted.

Empty file.
1 change: 0 additions & 1 deletion tests/rpm-pkgs/aide-0.16-18.fc35/test-props

This file was deleted.

Empty file.
1 change: 0 additions & 1 deletion tests/rpm-pkgs/anaconda-35.22.2-3.fc35/test-props

This file was deleted.

Empty file.
1 change: 0 additions & 1 deletion tests/rpm-pkgs/atk-2.36.0-4.fc35/test-props

This file was deleted.

Empty file.
1 change: 0 additions & 1 deletion tests/rpm-pkgs/autofs-5.1.7-20.fc35/test-props

This file was deleted.

Empty file.
1 change: 0 additions & 1 deletion tests/rpm-pkgs/basesystem-11-12.fc35/test-props

This file was deleted.

Empty file.
Empty file.
1 change: 0 additions & 1 deletion tests/rpm-pkgs/bluez-5.61-1.fc35/test-props

This file was deleted.

Empty file.
1 change: 0 additions & 1 deletion tests/rpm-pkgs/bubblewrap-0.5.0-1.fc35/test-props

This file was deleted.

Empty file.
1 change: 0 additions & 1 deletion tests/rpm-pkgs/bzip2-1.0.8-9.fc35/test-props

This file was deleted.

Empty file.
1 change: 0 additions & 1 deletion tests/rpm-pkgs/c-ares-1.17.2-1.fc35/test-props

This file was deleted.

Empty file.
1 change: 0 additions & 1 deletion tests/rpm-pkgs/ca-certificates-2021.2.50-3.fc35/test-props

This file was deleted.

Empty file.
Empty file.
1 change: 0 additions & 1 deletion tests/rpm-pkgs/compat-readline5-5.2-40.fc35/test-props

This file was deleted.

Empty file.
231 changes: 0 additions & 231 deletions tests/rpm-pkgs/coreutils-8.32-31.fc35/output-exp@cbmc/scan-results.err

This file was deleted.

Loading

0 comments on commit 87b3930

Please sign in to comment.