enso-org/enso
1
1
Fork 0
mirror of https://github.com/enso-org/enso.git synced 2024-11-22 22:10:15 +03:00
Code Issues Projects Releases Wiki Activity
5,508 Commits 117 Branches 887 Tags 258 MiB
29449209fa
Commit Graph

2 Commits

Author SHA1 Message Date
Michał Wawrzyniec Urbańczyk
d9ca6cf023
Build Script Post-Gui1 Cleanup (#9376) 
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".
 2024-03-12 20:25:51 +01:00
Michał Wawrzyniec Urbańczyk
ad69eeb4ad
Build script merge (#3743) 
Merged the build script into main repository. Some related cleanups.
 2022-10-10 23:38:48 +02:00