Skip to content

Conversation

PgBiel
Copy link
Contributor

@PgBiel PgBiel commented Sep 28, 2024

Closes #57

Small little utility, might not hurt to have it :)

@laurmaedje laurmaedje merged commit 06d0c2b into main Sep 30, 2024
4 checks passed
@laurmaedje laurmaedje deleted the bib-keys branch September 30, 2024 15:07
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Extract all keys from a bibfile to store them in var/vec/...
2 participants