cloudhead 4605348d68 cli: From "tracking" to "seeding" and "following" ... Split the commands and change the naming. * Tracking a repo is now called "seeding" * Tracking a peer is now called "following" In this commit, we don't change most of the internal code, only the user-facing part.		2023-12-06 09:56:57 +01:00
..
data	cli: Implement DDiff	2023-09-19 15:22:42 +02:00
commands.rs	cli: From "tracking" to "seeding" and "following"	2023-12-06 09:56:57 +01:00