Skip to content

Commit

Permalink
Merge pull request #846.
Browse files Browse the repository at this point in the history 
Avoid functions specific to GNU Make.
  • Loading branch information
@lballabio
lballabio committed Jun 24, 2020
2 parents a87f636 + 538a3a2 commit dc2f12c
Showing 1 changed file with 360 additions and 178 deletions.

0 comments on commit dc2f12c

Please sign in to comment.