mirror of
https://github.com/enso-org/enso.git
synced 2024-11-27 02:55:06 +03:00
d9ca6cf023
This PR: * removes much of logic related to building and packaging the gui1; * made `./run gui` and `./run ide` work with the new gui; * rename numerous references to the "gui2" or "new gui" in favor of simply "gui", same for "ide". |
||
---|---|---|
.. | ||
downloadFonts.js | ||
generateIconMetadata.js |