From bd26125a7e867249d07f33847adbe084d0c3bb4e Mon Sep 17 00:00:00 2001
From: Sergi Hernandez Juan <shernand@iri.upc.edu>
Date: Mon, 15 Mar 2021 18:37:03 +0100
Subject: [PATCH] Changed the name of some files.

---
 data/{sample_gazebo.png => sample.png} | Bin
 maps/{adc_map.pgm => sample.pgm}       |   0
 maps/{adc_map.yaml => sample.yaml}     |   0
 3 files changed, 0 insertions(+), 0 deletions(-)
 rename data/{sample_gazebo.png => sample.png} (100%)
 rename maps/{adc_map.pgm => sample.pgm} (100%)
 rename maps/{adc_map.yaml => sample.yaml} (100%)

diff --git a/data/sample_gazebo.png b/data/sample.png
similarity index 100%
rename from data/sample_gazebo.png
rename to data/sample.png
diff --git a/maps/adc_map.pgm b/maps/sample.pgm
similarity index 100%
rename from maps/adc_map.pgm
rename to maps/sample.pgm
diff --git a/maps/adc_map.yaml b/maps/sample.yaml
similarity index 100%
rename from maps/adc_map.yaml
rename to maps/sample.yaml
-- 
GitLab