From 38242729a697b6b094c61747bef9415dd2bb0d75 Mon Sep 17 00:00:00 2001 From: Mart Lubbers Date: Sun, 13 Nov 2016 12:58:02 +0100 Subject: [PATCH] fix filenames --- jml_esc/{Amount.java => AmountMartLubbers.java} | 0 jml_esc/{Bag.java => BagMartLubbers.java} | 0 2 files changed, 0 insertions(+), 0 deletions(-) rename jml_esc/{Amount.java => AmountMartLubbers.java} (100%) rename jml_esc/{Bag.java => BagMartLubbers.java} (100%) 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 -- 2.20.1