Fabian Homborg d91b0f86f4 Repaint all prompts if the variables change ... This is a good idea in general and simplifies the Classic + VCS prompt.		2019-12-01 18:15:36 +01:00
..
web_config	Repaint all prompts if the variables change	2019-12-01 18:15:36 +01:00
create_manpage_completions.py	Reformat all files	2019-05-05 12:09:25 +02:00
deroff.py	Fix: equality vs identity	2019-11-06 14:13:21 +08:00