diff client/src/store/application.js @ 2851:a7e31594959d

profiles: difference selection now with spinner
author Thomas Junk <thomas.junk@intevation.de>
date Thu, 28 Mar 2019 17:04:44 +0100
parents d6c90d2c8c8d
children 61f69e8919d3
line wrap: on
line diff