Electronfixes#474

Draft

bunsenstraat wants to merge 5 commits intomasterfrom

Commits on Jun 26, 2023

dgit
filip mertens
committed

Commits on Dec 8, 2023

Merge branch 'electron' of https://github.com/ethereum/remix-plugin into electron
filip mertens
committed
Merge branch 'master' of https://github.com/ethereum/remix-plugin into electron
filip mertens
committed
handshake fix
filip mertens
committed

Commits on Dec 16, 2024

electron fixes
filip mertens
committed