diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2012-12-20 17:59:10 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2012-12-20 17:59:10 +0100 |
| commit | c20313637f1676a50c009db6da60d97a93467f2f (patch) | |
| tree | d58f8ce1990deff61c9ec6dd47b649d6422f55f5 /.gitmodules | |
| parent | 8ccdbaa827c0be5a8c785f17d1eb5de165190ecd (diff) | |
| download | patches-c20313637f1676a50c009db6da60d97a93467f2f.tar patches-c20313637f1676a50c009db6da60d97a93467f2f.tar.gz | |
distro: gawk: Use the right shell instead of /bin/sh.
* distro/packages/gawk.scm (gawk): Patch shell file name in io.c.
Diffstat (limited to '.gitmodules')
0 files changed, 0 insertions, 0 deletions