diff options
| author | Emilio Jesus Gallego Arias | 2016-11-16 10:51:39 +0100 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2016-11-17 10:14:40 +0100 |
| commit | 26d180fa0b27edc773fd07c73906e4ed56475200 (patch) | |
| tree | 7b79952cd7221013f444dfdf8b3b9732be8365a1 /dev | |
| parent | 3a51aa7265f35dd3cbf3f7bff858d663e4406146 (diff) | |
[stm] Remove STM-related vernaculars
I think these commands never make a lot of sense on scripts other than
debugging and we have better methods now.
The last remaining command, used for the tty emulation has been renamed
to VtBack, but it should go away at some point too once the legacy
interfaces are removed.
Diffstat (limited to 'dev')
0 files changed, 0 insertions, 0 deletions