Skip to content

db-delete

Compare
Choose a tag to compare
@iraikov iraikov released this 14 Sep 15:17
· 15 commits to master since this release

This release adds db-delete, a procedure for deleting keys from the database [thanks to alice maz].