?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
(parent: 7ea3940) | patch
developer/check: configure: WARNING: filterdiff not installed; build will not be...
commit2d915a58d9d28306370fcc07c513a0899e68b7aa
authorklausz65 <61782506+klausz65@users.noreply.github.com>
Sun, 17 Nov 2024 15:37:21 +0000 (17 16:37 +0100)
committerGitHub <noreply@github.com>
Sun, 17 Nov 2024 15:37:21 +0000 (17 16:37 +0100)
tree7e200b8e5490494e7cbcb82e9aff3ac0a01d65b2tree | snapshot (tar.gz zip)
parent7ea3940af2d6788fb6c8ffd8b3b7fb416e6e5b57commit | diff
developer/check: configure: WARNING: filterdiff not installed; build will not be reproducible
components/developer/check/Makefile diff | blob | blame | history
components/developer/check/pkg5 diff | blob | blame | history