Merge pull request #704 from webhat/feature/fix-awk
authorClifford Wolf <clifford@clifford.at>
Sun, 16 Dec 2018 15:31:37 +0000 (16:31 +0100)
committerGitHub <noreply@github.com>
Sun, 16 Dec 2018 15:31:37 +0000 (16:31 +0100)
commit4c5173045bb4e8d6f00d9ba5269bf30e6c10d6f6
tree2c9f2653521ec1c12c004af3d52b279ca8ab1fe3
parentac27a5a7372b021f4d7ab848911fad7725c75ce7
parentc472467be912aad65a0e49364dd5a9a6402291b1
Merge pull request #704 from webhat/feature/fix-awk

Using awk rather than gawk
Makefile