diff options
author | Carl Dong <contact@carldong.me> | 2021-03-17 14:33:10 -0400 |
---|---|---|
committer | Carl Dong <contact@carldong.me> | 2021-04-05 11:00:39 -0400 |
commit | 4eccf063b252bfe256cf72d363a24cf0183e926e (patch) | |
tree | 6e68a21777c4cd9dbd69f5df3ba63a5e930349f8 | |
parent | 7753357a7bae98ec775c707b9dec4cea1e945802 (diff) |
guix: Remove guix-build.sh filename extension
-rwxr-xr-x | contrib/guix/guix-build (renamed from contrib/guix/guix-build.sh) | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/contrib/guix/guix-build.sh b/contrib/guix/guix-build index 430b7c3209..430b7c3209 100755 --- a/contrib/guix/guix-build.sh +++ b/contrib/guix/guix-build |