- 11 Sep, 2019 1 commit
-
-
Jonas authored
-
- 07 Jun, 2019 1 commit
-
-
Roger Steneteg authored
-
- 09 Apr, 2019 1 commit
-
-
Pmoranga authored
changes: - easily customize the colors via variables - command to switch on/off the custom prompt - Improved documentation with example on how to append on the prompt. Fixes #7261
-
- 07 Aug, 2018 1 commit
-
-
Janosch Schwalm authored
* use https everywhere * use https links on the files that are left Also, removed some broken links and updated redirections.
-
- 19 Jul, 2018 1 commit
-
-
Jon Mosco authored
-
- 02 Jul, 2018 1 commit
-
-
Marc Cornellà authored
-
- 09 Mar, 2018 1 commit
-
-
Jon Mosco authored
-
