From c783401efa6144b7254ef015270436a84d3dc111 Mon Sep 17 00:00:00 2001
From: Mirko Waechter <mirko.waechter@kit.edu>
Date: Thu, 20 Aug 2015 02:37:58 +0200
Subject: [PATCH] renamed tutorial.dox

---
 etc/doxygen/pages/{__Tutorials.dox__ => Tutorials.dox} | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 rename etc/doxygen/pages/{__Tutorials.dox__ => Tutorials.dox} (100%)

diff --git a/etc/doxygen/pages/__Tutorials.dox__ b/etc/doxygen/pages/Tutorials.dox
similarity index 100%
rename from etc/doxygen/pages/__Tutorials.dox__
rename to etc/doxygen/pages/Tutorials.dox
-- 
GitLab