David Adam 7f8d56da16 Licensing: note MIT licensing status of Dracula theme ...

(cherry picked from commit 4e13b1b5d503f8f9e2a9a58dfec509f1a678dfd5)

2023-10-01 10:37:25 +02:00

..

web_config

Licensing: note MIT licensing status of Dracula theme

2023-10-01 10:37:25 +02:00

create_manpage_completions.py

create_manpage_completions: Also clear already_output_completions

2023-10-01 09:44:33 +02:00

deroff.py

deroff.py: unneccessarry pass, unreachable code

2021-12-12 10:45:50 -08:00