|
genmenu.go
|
add a skip option
|
2023-12-26 19:20:29 +01:00 |
|
manual.go
|
Fix: avoid silent fatalities
|
2024-06-17 00:30:24 -07:00 |
|
next.go
|
Make some menu options bold
|
2023-12-26 19:20:30 +01:00 |
|
ok.go
|
Make some menu options bold
|
2023-12-26 19:20:30 +01:00 |
|
yesno.go
|
Make some menu options bold
|
2023-12-26 19:20:30 +01:00 |
