diff client/src/store/usermanagement.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 d0c4d17ee7ab
children a6eea3002e6e
line wrap: on
line diff