From 48dd7142a37eec937bf88e9b1b8f17abb21e3dc7 Mon Sep 17 00:00:00 2001
From: Christophe Geuzaine <cgeuzaine@ulg.ac.be>
Date: Sun, 8 Jun 2014 08:48:30 +0000
Subject: [PATCH]

---
 benchmarks/{extrude => bugs}/onde.geo | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 rename benchmarks/{extrude => bugs}/onde.geo (100%)

diff --git a/benchmarks/extrude/onde.geo b/benchmarks/bugs/onde.geo
similarity index 100%
rename from benchmarks/extrude/onde.geo
rename to benchmarks/bugs/onde.geo
-- 
GitLab