diff options
author | Nils Gillmann <ng0@n0.is> | 2018-10-21 18:49:41 +0000 |
---|---|---|
committer | Nils Gillmann <ng0@n0.is> | 2018-10-21 18:49:41 +0000 |
commit | a3991d078b2583cd09e58230333e8070a723e332 (patch) | |
tree | f656c74827e908a388ae7fe4a7dd71521c8dc5dd /m4 | |
parent | 93def6b58a5ed44d6752958b08a3e49e418f3dda (diff) | |
download | gnunet-a3991d078b2583cd09e58230333e8070a723e332.tar.gz gnunet-a3991d078b2583cd09e58230333e8070a723e332.zip |
We want portable shell scripts, not plain bash-specific scripts.
Signed-off-by: Nils Gillmann <ng0@n0.is>
Diffstat (limited to 'm4')
0 files changed, 0 insertions, 0 deletions