Girish Ramakrishnan 08ffa99c78 Use %s instead of %d ...

awk's %d behaves differently with mawk (scaleway) and gawk (do)

Fixes #200

2017-01-30 10:24:26 -08:00

8.2 KiB

Executable File

Raw Blame History

View Raw