From 579bd075c948111c147d15b540a8fea5cc96804b Mon Sep 17 00:00:00 2001
From: jvallve <jvallve@iri.upc.edu>
Date: Thu, 21 Jan 2021 17:14:05 +0100
Subject: [PATCH] minor changes

---
 .gitignore          | 1 +
 launch/gauss.launch | 1 +
 2 files changed, 2 insertions(+)

diff --git a/.gitignore b/.gitignore
index b888a71..733dcd6 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 ed2d2bd..91b7e97 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" />
-- 
GitLab