swipl/swipl-rpmlintrc
2023-03-07 14:53:39 +00:00

3 lines
83 B
Plaintext

# They are needed for swipl / pl
addFilter("E: devel-file-in-non-devel-package *")