5 Commits

Author	SHA1	Message	Date
Michael Mauderer	349cc210e0	Bump rustc to nightly-2023-01-12 (#4053) ... Bump rustc nightly-2022-08-30 and fix new errors and lints. https://www.pivotaltracker.com/story/show/184229094	2023-02-02 23:05:25 +00: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
Michał Wawrzyniec Urbańczyk	14a01c4635	New IDE build script (#3466)	2022-05-23 04:16:04 +02:00
Adam Obuchowicz	bb3b145af5	Refactor gui/src/rust/ide to two app/gui and app/ide-desktop (#3157)	2021-11-16 10:04:56 +01:00
Ara Adkins	f7d4ef546a	Prepare the repo for working on rust code (#841)	2020-06-16 17:18:11 +01:00