diff options
Diffstat (limited to 'tvix/docs/src/TODO.md')
-rw-r--r-- | tvix/docs/src/TODO.md | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/tvix/docs/src/TODO.md b/tvix/docs/src/TODO.md index fb85c9d6c602..84bcddd791a1 100644 --- a/tvix/docs/src/TODO.md +++ b/tvix/docs/src/TODO.md @@ -193,7 +193,6 @@ logs etc, but this is something requiring a lot of designing. root `Directory` digest. This won't allow indexing intermediate Directory nodes, but once we have `DirectoryService` composition, it shouldn't be an issue. - - [redb](https://www.redb.org/) backend ### PathInfoService - sqlite backend (different schema than the Nix one, we need the root nodes data!) |