Miscellaneous cleanups (#8639)

* Miscellaneous cleanups * Cast NO_PIN
2020-04-02 01:49:45 +11:00
parent b6a09502c6
commit 95c5c11d0b
6 changed files with 1 additions and 22 deletions
--- a/util/activate_wsl.sh
+++ b/util/activate_wsl.sh
@@ -12,7 +12,3 @@ function export_variables {
 }

 export_variables
-
-
-
-