From aed1f1106462754fe34aca7dbd5a3013ceee4dc0 Mon Sep 17 00:00:00 2001
From: Christophe Geuzaine <cgeuzaine@ulg.ac.be>
Date: Sat, 11 Feb 2017 22:11:55 +0000
Subject: [PATCH]

---
 demos/boolean/{wikipedia.geo => boolean.geo} | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 rename demos/boolean/{wikipedia.geo => boolean.geo} (100%)

diff --git a/demos/boolean/wikipedia.geo b/demos/boolean/boolean.geo
similarity index 100%
rename from demos/boolean/wikipedia.geo
rename to demos/boolean/boolean.geo
-- 
GitLab