From: Mart Lubbers <mart@martlubbers.net>
Date: Sun, 13 Nov 2016 11:58:02 +0000 (+0100)
Subject: fix filenames
X-Git-Url: https://git.martlubbers.net/?a=commitdiff_plain;h=38242729a697b6b094c61747bef9415dd2bb0d75;p=ss1617.git

fix filenames
---

diff --git a/jml_esc/Amount.java b/jml_esc/AmountMartLubbers.java
similarity index 100%
rename from jml_esc/Amount.java
rename to jml_esc/AmountMartLubbers.java
diff --git a/jml_esc/Bag.java b/jml_esc/BagMartLubbers.java
similarity index 100%
rename from jml_esc/Bag.java
rename to jml_esc/BagMartLubbers.java