| .. |
| add.rs | view: rename workspace "id" to "name" | 1 year ago |
| forget.rs | view: rename workspace "id" to "name" | 1 year ago |
| list.rs | view: rename workspace "id" to "name" | 1 year ago |
| mod.rs | cli: Support renaming workspaces | 2 years ago |
| rename.rs | view: rename workspace "id" to "name" | 1 year ago |
| root.rs | cleanup: enable `unused_trait_names` clippy lint and run `clippy --fix` | 1 year ago |
| update_stale.rs | track: only print snapshot stats and hints once | 1 year ago |