Brian Picciano 773001b158 Changes suggested by clippy		2023-07-04 19:42:12 +02:00
..
store	Changes suggested by clippy	2023-07-04 19:42:12 +02:00
descr.rs	Add locks around git store syncing and getting	2023-05-10 15:12:34 +02:00
store.rs	Pass descr around as a reference, generally	2023-07-04 19:33:03 +02:00