Martin von Zweigbergk e098c01935 working_copy: replace commit ID by tree ID for checking for changes ... What matters for the working copy is the tree ID. We should be able to remove the commit ID. This patch gets us close.		2022-02-12 17:16:19 -08:00
..
benches
protos	working_copy: keep track of workspace ID (#13)	2022-02-02 08:15:22 -08:00
src	working_copy: replace commit ID by tree ID for checking for changes	2022-02-12 17:16:19 -08:00
tests	working_copy: replace commit ID by tree ID for checking for changes	2022-02-12 17:16:19 -08:00
build.rs
Cargo.toml	cargo: upgrade dependencies	2022-02-09 22:21:39 -08:00