- 09 May, 2020 1 commit
-
-
Marc Cornellà authored
Closes #8906
-
- 27 Dec, 2019 1 commit
-
-
Marc Cornellà authored
-
- 19 Oct, 2019 1 commit
-
-
Marco Zühlke authored
-
- 01 Jul, 2018 1 commit
-
-
Shadab Zafar authored
* Added magic-enter plugin To bind commonly used tasks to the enter key * Allow the magic-enter commands to be modified by the user
-