fix filenames

author Mart Lubbers <mart@martlubbers.net>

Sun, 13 Nov 2016 11:58:02 +0000 (12:58 +0100)

committer Mart Lubbers <mart@martlubbers.net>

Sun, 13 Nov 2016 11:58:02 +0000 (12:58 +0100)
author Mart Lubbers <mart@martlubbers.net>
Sun, 13 Nov 2016 11:58:02 +0000 (12:58 +0100)
committer Mart Lubbers <mart@martlubbers.net>
Sun, 13 Nov 2016 11:58:02 +0000 (12:58 +0100)
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
author	Mart Lubbers <mart@martlubbers.net>
	Sun, 13 Nov 2016 11:58:02 +0000 (12:58 +0100)
committer	Mart Lubbers <mart@martlubbers.net>
	Sun, 13 Nov 2016 11:58:02 +0000 (12:58 +0100)
jml_esc/AmountMartLubbers.java	[moved from jml_esc/Amount.java with 100% similarity]	patch \| blob \| history
jml_esc/BagMartLubbers.java	[moved from jml_esc/Bag.java with 100% similarity]	patch \| blob \| history