oasis icon indicating copy to clipboard operation
oasis copied to clipboard

Run check after edit action in quickstart

Open gildor478 opened this issue 4 years ago • 0 comments

This feature request has been migrated from artifact #734 on forge.ocamlcore.org. It was assigned to user102.

user102 posted on 2010-09-01 13:53:35:

We should check that the edited _oasis is still valid after edition.

gildor478 avatar Oct 24 '20 16:10 gildor478