From f34f755361ac46d958d126cf1f7b73e3c809d6b3 Mon Sep 17 00:00:00 2001
From: Martin Hierholzer <martin.hierholzer@desy.de>
Date: Thu, 7 May 2020 09:49:42 +0200
Subject: [PATCH] change extension, since the file is (mainly) doxygen, not
 markdown

---
 doc/{spec_exceptionHandling.md => spec_exceptionHandling.dox} | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 rename doc/{spec_exceptionHandling.md => spec_exceptionHandling.dox} (100%)

diff --git a/doc/spec_exceptionHandling.md b/doc/spec_exceptionHandling.dox
similarity index 100%
rename from doc/spec_exceptionHandling.md
rename to doc/spec_exceptionHandling.dox
-- 
GitLab