index : devtools32 | |
Archlinux32 fork of devtools | gitolite user |
summaryrefslogtreecommitdiff |
author | Luke Shumaker <lukeshu@parabola.nu> | 2017-05-05 18:41:10 -0400 |
---|---|---|
committer | Erich Eckner <git@eckner.net> | 2017-07-14 07:00:23 +0200 |
commit | cd000ccc0144c7ec54696520bf7217163a39cde0 (patch) | |
tree | 0d16c2eaec9923d73f17dcab673138252573c899 /lib/archroot.sh | |
parent | 196cdd7ae6626e8c66336b6121c9024b70acea9c (diff) |
-rw-r--r-- | lib/archroot.sh | 2 |
diff --git a/lib/archroot.sh b/lib/archroot.sh index 3a1023e..98fd2cf 100644 --- a/lib/archroot.sh +++ b/lib/archroot.sh @@ -1,6 +1,8 @@ #!/hint/bash # License: Unspecified +: +# shellcheck disable=2034 CHROOT_VERSION='v4' ## |