From a7fc0aafb57f87361fc295bda9dab983b8f33f43 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?R=C3=A9gis=20Blanc?= <regwblanc@gmail.com>
Date: Wed, 27 Jun 2012 14:21:31 +0200
Subject: [PATCH] rename SatFun to Sat

---
 testcases/{SatFun.scala => Sat.scala} | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 rename testcases/{SatFun.scala => Sat.scala} (100%)

diff --git a/testcases/SatFun.scala b/testcases/Sat.scala
similarity index 100%
rename from testcases/SatFun.scala
rename to testcases/Sat.scala
-- 
GitLab