rename de-prototypes to de-flood-event-explorer
@daniela-rabe @igo-silva-almeida @peter-morstein @adam-sasin
I will rename our repository next week. I will send instructions on how to change your local git configuration as soon as I did the renaming.
Best, Daniel
Edited by Daniel Eggert