Simon Frei 5baa432906 lib/db: Add index to track locally needed files (#4958) ... To optimize WithNeed, which is called for the local device whenever an index update is received. No tracking for remote devices to conserve db space, as WithNeed is only queried for completion.		2018-06-02 15:08:32 +02:00
..
.gitignore	mv internal lib	2015-08-09 09:35:26 +02:00
v0.14.45-update0to3.db.jsons	lib/db: Add index to track locally needed files (#4958)	2018-06-02 15:08:32 +02:00
v0.14.48-ignoredfiles.db.jsons	lib/db: Add db and test with invalid files (#4954)	2018-05-16 08:44:08 +02:00