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
..
src	Build script merge (#3743)	2022-10-10 23:38:48 +02:00
build.rs	Refactor gui/src/rust/ide to two app/gui and app/ide-desktop (#3157)	2021-11-16 10:04:56 +01:00
Cargo.toml	New IDE build script (#3466)	2022-05-23 04:16:04 +02:00