From: Jérôme Benoit <jerome.benoit@piment-noir.org>
Date: Thu, 10 Jan 2019 10:47:25 +0000 (+0100)
Subject: Merge branch 'master' of git.piment-noir.org:Persons_Comparator
X-Git-Url: https://git.piment-noir.org/?p=Persons_Comparator.git;a=commitdiff_plain;h=416b4c77ff435499154345f4992f27c12ac0933c;hp=f1e9d6d2fcc7253b117278c4439b656a1e532e68

Merge branch 'master' of git.piment-noir.org:Persons_Comparator
---

diff --git a/src/Region.java b/src/Region.java
new file mode 100644
index 0000000..5a49700
--- /dev/null
+++ b/src/Region.java
@@ -0,0 +1,2 @@
+public class Region {
+}
diff --git a/src/RegionView.java b/src/RegionView.java
new file mode 100644
index 0000000..0f2f8cc
--- /dev/null
+++ b/src/RegionView.java
@@ -0,0 +1,2 @@
+public class RegionView {
+}