From a75b318622b467f7a1626bbd556ea27ca5ea3ec6 Mon Sep 17 00:00:00 2001
From: Graziano Scalamera <graziano.scalamera@elettra.eu>
Date: Tue, 11 Apr 2017 09:52:06 +0200
Subject: [PATCH] Rename Alarm.xmi to AlarmHandler.xmi

---
 src/{Alarm.xmi => AlarmHandler.xmi} | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 rename src/{Alarm.xmi => AlarmHandler.xmi} (100%)

diff --git a/src/Alarm.xmi b/src/AlarmHandler.xmi
similarity index 100%
rename from src/Alarm.xmi
rename to src/AlarmHandler.xmi
-- 
GitLab