Fix port number type and log to stderr by default

[khome.git] / home / .gitignore_global

diff --git a/home/.gitignore_global b/home/.gitignore_global
index a950742..88be06b 100644 (file)
--- a/home/.gitignore_global
+++ b/home/.gitignore_global
@@ -27,3 +27,5 @@ _wip/
 
 # F# plugin for VS Code
 .ionide/
+
+.idea/