mirror of
https://github.com/MarginaliaSearch/MarginaliaSearch.git
synced 2025-02-24 13:19:02 +00:00
![]() To avoid unnecessary db churn, the domains to be added are put in a set instead of a list, ensuring that they are unique. |
||
---|---|---|
.. | ||
marginalia |