Fabian Homborg db9ac527af Sample prompts: Rename prompts named after a single person ... Unless that person directly contributed the prompt. We name them after a feature - the Scales prompt feature a ">>>" which kinda looks like fish scales, the "Arrow" prompt starts with a prominent "➜". Naming them after people looks like an endorsement of that particular person, and like they are someone to look up to, especially when they aren't involved with the project. The "terlar" and "acidhub" prompts stay for now because they contributed the prompt themselves, they are also much less prominent.		2021-04-08 11:14:16 +02:00
..
web_config	Sample prompts: Rename prompts named after a single person	2021-04-08 11:14:16 +02:00
create_manpage_completions.py	Manpage generator: Give better error when we can't understand manpath	2021-03-26 19:32:14 +01:00
deroff.py	Fix: equality vs identity	2019-11-06 14:13:21 +08:00