search

Open-EO / openeo-web-editor

An interactive and easy to use web-based editor for the OpenEO API.
https://editor.openeo.org
Apache License 2.0
12 stars 17 forks source link

Switch file format in save_result: Reset file format options #256

Closed m-mohr closed 2 years ago