diff --git a/.gitignore b/.gitignore index b888a71096f05f1af65a9e172c9930de92e79242..733dcd6577ebc510cf9dd374fa346ebe3e5b1ded 100644 --- a/.gitignore +++ b/.gitignore @@ -142,3 +142,4 @@ ENV/ ### JetBrains # Project files .idea/ +.vscode/settings.json diff --git a/launch/gauss.launch b/launch/gauss.launch index ed2d2bdb0a62c76da233fd5539d22f8894ded4be..91b7e97b5a881d85d3014ba40884d6112458d987 100644 --- a/launch/gauss.launch +++ b/launch/gauss.launch @@ -1,3 +1,4 @@ +<!-- --> <launch> <arg name="remote_server" default="false" /> <arg name="use_tls" default="false" />