From 25ca08109e450037f01db11805494d0ba53b715d Mon Sep 17 00:00:00 2001 From: Felix Schindler <felix.schindler@wwu.de> Date: Thu, 18 Oct 2018 22:44:33 +0200 Subject: [PATCH] lambda -> generic --- dune/xt/functions/{lambda => generic}/function.hh | 0 dune/xt/functions/{lambda => generic}/grid-function.hh | 0 2 files changed, 0 insertions(+), 0 deletions(-) rename dune/xt/functions/{lambda => generic}/function.hh (100%) rename dune/xt/functions/{lambda => generic}/grid-function.hh (100%) diff --git a/dune/xt/functions/lambda/function.hh b/dune/xt/functions/generic/function.hh similarity index 100% rename from dune/xt/functions/lambda/function.hh rename to dune/xt/functions/generic/function.hh diff --git a/dune/xt/functions/lambda/grid-function.hh b/dune/xt/functions/generic/grid-function.hh similarity index 100% rename from dune/xt/functions/lambda/grid-function.hh rename to dune/xt/functions/generic/grid-function.hh -- GitLab