# HG changeset patch
# User luca_milaz
# Date 1722692803 0
# Node ID 4a276b7673d743dcb09c3c1c66fdb1ae2b24e629
# Parent  f20e6f46ac24dcfdefe48ce9b92a3f31c4d42454
Uploaded

diff -r f20e6f46ac24 -r 4a276b7673d7 marea_2/marea.xml