Cherichy f32777a0cc check for both wsl1 and wsl2

2020-05-25 13:05:13 +08:00

..

web_config

check for both wsl1 and wsl2

2020-05-25 13:05:13 +08:00

create_manpage_completions.py

create_manpage_completions: use the first tool found

2020-05-10 21:56:12 +08:00

deroff.py

Fix: equality vs identity

2019-11-06 14:13:21 +08:00