DidierRLopes 9df5bdcfb6 Make it easier for users to configure their terminal colors (#2740) ...

* Make it easier for users to configure their terminal colors

* smaller version of text

Co-authored-by: Theodore Aptekarev <aptekarev@gmail.com>

2022-10-09 14:54:14 +03:00

..

en.yml

Make it easier for users to configure their terminal colors (#2740)

2022-10-09 14:54:14 +03:00

help_translation.ipynb

Help translate terminal language (#2100)

2022-07-19 21:37:43 +01:00