aboutsummaryrefslogtreecommitdiffhomepage
path: root/.github
diff options
context:
space:
mode:
authorGravatar David Adam <zanchey@ucc.gu.uwa.edu.au>2016-06-13 21:33:27 +0800
committerGravatar David Adam <zanchey@ucc.gu.uwa.edu.au>2016-06-14 09:22:28 +0800
commita5e0555e834cba49bb7c423c04d739b811f38f88 (patch)
tree883767e37e5618c8e8960b2582e5653118f6abc6 /.github
parent1499ade89cb4b186c8ab7040ac7ef86b1292c0f8 (diff)
make style targets in Makefile phony
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions