Add devtime extension - A local-first coding time tracking for Zed.#5263
Closed
arnaudhrt wants to merge 1 commit intozed-industries:mainfrom
Closed
Add devtime extension - A local-first coding time tracking for Zed.#5263arnaudhrt wants to merge 1 commit intozed-industries:mainfrom
arnaudhrt wants to merge 1 commit intozed-industries:mainfrom
