3 Commits

Author	SHA1	Message	Date
Basile Burg	1335208d25	doesn't set CTRL+C as the default copy shortcut of the terminal	2019-01-26 09:25:47 +01:00
Basile Burg	426cd0d2c8	fix #148 - Use common shortcuts to copy and paste from the terminal	2019-01-22 10:23:14 +01:00
Basile Burg	f603fe1879	Get rid of old `TCE<Name>` class identifiers, step 2, #374	2019-01-02 21:10:48 +01:00