From e69d6645f610ebfefdcaa7ebb84bec1103a3c945 Mon Sep 17 00:00:00 2001
From: winterhalderp <winterhalderp@irs.uni-stuttgart.de>
Date: Mon, 19 Apr 2021 16:27:37 +0200
Subject: [PATCH] Update 'non-ros-files/bashrc_overlay.bash'

---
 non-ros-files/{bashrc_addons.bash => bashrc_overlay.bash} | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 rename non-ros-files/{bashrc_addons.bash => bashrc_overlay.bash} (100%)

diff --git a/non-ros-files/bashrc_addons.bash b/non-ros-files/bashrc_overlay.bash
similarity index 100%
rename from non-ros-files/bashrc_addons.bash
rename to non-ros-files/bashrc_overlay.bash