aboutsummaryrefslogtreecommitdiffstats
path: root/community/opam
diff options
context:
space:
mode:
authorSören Tempel <soeren+git@soeren-tempel.net>2018-09-22 15:39:10 +0200
committerSören Tempel <soeren+git@soeren-tempel.net>2018-09-22 15:42:19 +0200
commit993843fcca32a014f8c0aa87195c4dbed36fdb16 (patch)
tree2de175cafd0649996757b950794765893dadd4c1 /community/opam
parentac6038f0b73ee3b321fe70d13a6c777d9aa89ae6 (diff)
testing/hub: fix build with `abuild rootbld`
Diffstat (limited to 'community/opam')
0 files changed, 0 insertions, 0 deletions