aboutsummaryrefslogtreecommitdiff
path: root/Dockerfile.make
diff options
context:
space:
mode:
authorCyril Cohen2020-11-25 18:59:02 +0100
committerGitHub2020-11-25 18:59:02 +0100
commit4153b5eabf27cb36dfb6ce03a0b52fcbfda7145c (patch)
tree1dcd3a5f3bee65d7984627777be8a2e95a5effa6 /Dockerfile.make
parent1e16ae5e8af3cba6efd0cced3a935602cc57a1cd (diff)
parentd844896e6418bb00418964bb4ae4219e2bd6b69c (diff)
Merge pull request #665 from pi8027/allrel
Generalize `allrel` to take two lists as arguments
Diffstat (limited to 'Dockerfile.make')
0 files changed, 0 insertions, 0 deletions