diff options
author | Ryan <fauxpark@gmail.com> | 2020-04-02 01:49:45 +1100 |
---|---|---|
committer | Florian Didron <fdidron@users.noreply.github.com> | 2020-06-12 17:00:27 +0900 |
commit | ee1860315df5c0f0a9eb3a44b9df460a9a12836f (patch) | |
tree | acc94d30f98148e1150a56d2a2441dd02145705d /util/activate_wsl.sh | |
parent | 09aa3b15f4069578c4d4a43c12598caea7b7e366 (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 - - - - |