From 14a2e3d232c7362025e7800e6a23bd2c803864be Mon Sep 17 00:00:00 2001
From: Felix Schindler <felix.schindler@wwu.de>
Date: Mon, 11 Apr 2016 14:08:31 +0200
Subject: [PATCH] discretefunction/local.hh -> local/discretefunction.hh

---
 dune/gdt/{discretefunction/local.hh => local/discretefunction.hh} | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 rename dune/gdt/{discretefunction/local.hh => local/discretefunction.hh} (100%)

diff --git a/dune/gdt/discretefunction/local.hh b/dune/gdt/local/discretefunction.hh
similarity index 100%
rename from dune/gdt/discretefunction/local.hh
rename to dune/gdt/local/discretefunction.hh
-- 
GitLab