![Jev Björsell](/assets/img/avatar_default.png)
When this is merged https://gitlab.com/ligolang/ligo-web-ide/ will be marked as deprecated. This MR does not hook up the webide build to the main CI. The CI integration will come in a subsequent MR for the sake of making review easier.
1 line
16 KiB
XML
1 line
16 KiB
XML