Andreas Kling cf10f22488 Terminal: Start a new session before exec'ing the shell ... This will put everything running inside the terminal in the same SID.		2020-01-25 14:52:06 +01:00
..
main.cpp	Terminal: Start a new session before exec'ing the shell	2020-01-25 14:52:06 +01:00
Makefile	Build: support library and generator dependencies	2019-12-25 10:11:09 +01:00