Martin aef87b74b1 fix python color prompt readline behavior		2018-01-11 11:44:30 +01:00
..
prompt-init	- renamed to over-env	2017-10-10 11:38:12 +02:00
prompt.py	- renamed to over-env	2017-10-10 11:38:12 +02:00
python-startup.py	fix python color prompt readline behavior	2018-01-11 11:44:30 +01:00