dirs
|
don't replace workdir anymore
|
2024-07-15 15:59:54 -07:00 |
files
|
clean dir input
|
2024-07-15 16:33:45 -07:00 |
filter
|
revert filter.showhidden to filter.ignorehidden
|
2024-07-03 10:17:08 -07:00 |
tables
|
adjust table column widths
|
2024-07-15 16:33:45 -07:00 |