Jev Björsell c119c44c13

Import webide into main ligo monorepo ...

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.

2020-02-06 19:04:18 -08:00

85 lines

2.4 KiB

XML

Raw Blame History