diff options
author | Ryan <fauxpark@gmail.com> | 2020-04-02 01:49:45 +1100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-04-01 15:49:45 +0100 |
commit | 95c5c11d0b909f14696c9c0b2dd30b3bfd406273 (patch) | |
tree | d4b8a91d15cc824efd96f7ce63c47222cb665bd3 /util/activate_wsl.sh | |
parent | b6a09502c626c3a94a859ab0a61d41a41835d611 (diff) |
Miscellaneous cleanups (#8639)
* Miscellaneous cleanups
* Cast NO_PIN
Diffstat (limited to 'util/activate_wsl.sh')
-rwxr-xr-x | util/activate_wsl.sh | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/util/activate_wsl.sh b/util/activate_wsl.sh index cd88d2b655..78bbf9ccbf 100755 --- a/util/activate_wsl.sh +++ b/util/activate_wsl.sh @@ -12,7 +12,3 @@ function export_variables { } export_variables - - - - |