Aaron Gyes 492f9bb046 web config: buttons are <buttons> instead of <span>s. ...

This is exactly what <button> is for, and we can remove
some CSS.

2022-03-26 13:27:22 -07:00

..

web_config

web config: buttons are <buttons> instead of <span>s.

2022-03-26 13:27:22 -07:00

create_manpage_completions.py

Update create_manpage_completions.py

2021-12-13 04:33:26 -08:00

deroff.py

deroff.py: unneccessarry pass, unreachable code

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