af9fb6eb3b
This extension contains the pgoronga_database_remove() function, which can be used to actually remove the pgrn* files, because `DROP INDEX` on a pgroonga index does not actually delete the index data. https://pgroonga.github.io/reference/modules/pgroonga-database.html https://pgroonga.github.io/reference/functions/pgroonga-database-remove.html |
||
---|---|---|
.. | ||
ext | ||
patches | ||
default.nix | ||
packages.nix |