|
dirs
|
make linter happier
|
2024-07-31 00:13:48 -07:00 |
|
filemode
|
make linters happy
|
2024-07-30 11:43:54 -07:00 |
|
files
|
add support for $topdir Trash directories
|
2024-08-05 22:40:11 -07:00 |
|
filter
|
make linters happy
|
2024-07-30 11:43:54 -07:00 |
|
interactive
|
add support for $topdir Trash directories
|
2024-08-05 22:40:11 -07:00 |
|
prompt
|
make linter happier
|
2024-07-31 00:13:48 -07:00 |
