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