From 353bfbe2a5a7b2768865249d1dc3e00c11dcb198 Mon Sep 17 00:00:00 2001
From: Uwe Schulzweida <uwe.schulzweida@mpimet.mpg.de>
Date: Sat, 7 Jul 2018 15:21:26 +0200
Subject: [PATCH] Renamed remap_search.cc to remap_point_search.cc.

---
 src/{remap_search.cc => remap_point_search.cc} | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 rename src/{remap_search.cc => remap_point_search.cc} (100%)

diff --git a/src/remap_search.cc b/src/remap_point_search.cc
similarity index 100%
rename from src/remap_search.cc
rename to src/remap_point_search.cc
-- 
GitLab