We want portable shell scripts, not plain bash-specific scripts.
authorNils Gillmann <ng0@n0.is>
Sun, 21 Oct 2018 18:49:41 +0000 (18:49 +0000)
committerNils Gillmann <ng0@n0.is>
Sun, 21 Oct 2018 18:49:41 +0000 (18:49 +0000)
commita3991d078b2583cd09e58230333e8070a723e332
treef656c74827e908a388ae7fe4a7dd71521c8dc5dd
parent93def6b58a5ed44d6752958b08a3e49e418f3dda
We want portable shell scripts, not plain bash-specific scripts.

Signed-off-by: Nils Gillmann <ng0@n0.is>
doc/documentation/chapters/contributing.texi