pan32 de3ae99f7e Added new alias for the commands because people are needy

2018-10-26 16:06:22 +01:00

..

scripting

Added new alias for the commands because people are needy

2018-10-26 16:06:22 +01:00