From e5d8e2ef0ec5de3e5a2c9d666ecc06f14a65c68b Mon Sep 17 00:00:00 2001
From: Felix Schindler <felix.schindler@wwu.de>
Date: Fri, 9 Aug 2019 14:21:43 +0200
Subject: [PATCH] base/function-or-gridfunction.hh -> grid-function.hh

---
 .../{base/function-or-gridfunction.hh => grid-function.hh}        | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 rename dune/xt/functions/{base/function-or-gridfunction.hh => grid-function.hh} (100%)

diff --git a/dune/xt/functions/base/function-or-gridfunction.hh b/dune/xt/functions/grid-function.hh
similarity index 100%
rename from dune/xt/functions/base/function-or-gridfunction.hh
rename to dune/xt/functions/grid-function.hh
-- 
GitLab