tree 20a7e59b81956b6f58514067e85368e008565f4a
parent e0c0557ae29dbe0dc699e58345de9a0c68048ee1
author Davide Pesavento <davidepesa@gmail.com> 1638482282 -0500
committer Davide Pesavento <davidepesa@gmail.com> 1638482282 -0500

Drop the (only) use of the bibtex extension

Change-Id: I78acb4f58a27b5bb03d9cccf1314813de663103e