Send patches - preferably formatted by git format-patch - to patches at archlinux32 dot org.
summaryrefslogtreecommitdiff
path: root/community/opam
diff options
context:
space:
mode:
authorErich Eckner <git@eckner.net>2018-10-04 15:32:18 +0200
committerErich Eckner <git@eckner.net>2018-10-04 15:32:18 +0200
commit7d1da76a8b1031b042e634df60c909c713c423d7 (patch)
tree1734379c9e164d70bafa0ddbc5f730798d92467f /community/opam
parent6b7f1a32ea1c710dc290f38fe59906ee9e69d037 (diff)
core/grep: add temp. fix for check()
Diffstat (limited to 'community/opam')
0 files changed, 0 insertions, 0 deletions