summaryrefslogtreecommitdiff
path: root/math/coq/files/patch-Makefile.install
diff options
context:
space:
mode:
authorJan Beich <jbeich@FreeBSD.org>2023-09-04 16:04:00 +0200
committerJan Beich <jbeich@FreeBSD.org>2023-09-04 16:08:11 +0200
commit218b2c9d16e05eeaeabbd8c1ff1a23fca1065163 (patch)
treec5c6b6c11a09b45e6c923400a665c25022c629c8 /math/coq/files/patch-Makefile.install
parentsysutils/ncdu2: Add WITH_DEBUG check (diff)
devel/py-loguru: drop superfluous newlines
Diffstat (limited to 'math/coq/files/patch-Makefile.install')
0 files changed, 0 insertions, 0 deletions