Closed dennis95 closed 3 years ago
This will be needed for running terminal applications inside a GUI (#20) once we have one.
Done.
This will be needed for running terminal applications inside a GUI (#20) once we have one.