commit afe803a4031a25a5c03dd31312747f19cefafc91 parent 563dd8b591dcf2736a2fcd5eee0db071d169917f Author: Marcello Stanisci <marcello.stanisci@inria.fr> Date: Thu, 5 Jan 2017 13:36:34 +0100 Fix filenames.. Diffstat:
| R | docker/merchant/exchange_uri.txt -> docker/merchant/exchange_url.txt | | | 0 |
1 file changed, 0 insertions(+), 0 deletions(-)
diff --git a/docker/merchant/exchange_uri.txt b/docker/merchant/exchange_url.txt