PatrickMassot/leanblueprint

bibtex and client

Opened this issue · 2 comments

PatrickMassot commented

The client command don’t handle correctly bbl files.

utensil commented

Reported on Zulip as 🧵

PatrickMassot commented

Should be fixed in v0.0.5.