Revert "Use #!/bin/bash instead of #!/bin/sh" - devtools32

diff options

author	David Runge <dvzrv@archlinux.org>	2021-10-29 09:19:28 +0200
committer	David Runge <dvzrv@archlinux.org>	2021-10-29 09:19:28 +0200
commit	d783cb511ccd45bbf0e38b2a1aae13fbba5e2324 (patch)
tree	f85ff65bef0c1a6e228dbe042027d679af1613cb /.github/workflows
parent	539f09761c0b1f77707bb30f5621695d0a9f7bc3 (diff)

Revert "Use #!/bin/bash instead of #!/bin/sh"

This reverts commit 594f972666b4823b00041e2888faae30e9aea7a2. We have not received a reply for the relicensing to GPL-3.0-or-later from its author @drizzt, which is why we are removing this commit.

Diffstat (limited to '.github/workflows')

0 files changed, 0 insertions, 0 deletions


context:
space:
mode: