dirs
|
display workdir in header if used
|
2024-06-30 20:01:36 -07:00 |
files
|
use standard library right
|
2024-07-15 15:07:39 -07:00 |
filter
|
revert filter.showhidden to filter.ignorehidden
|
2024-07-03 10:17:08 -07:00 |
tables
|
sort by name by default
|
2024-07-03 15:34:23 -07:00 |