summaryrefslogtreecommitdiff
path: root/.circleci
diff options
context:
space:
mode:
authorROUVREAU Vincent <vincent.rouvreau@inria.fr>2019-04-12 15:42:00 +0200
committerROUVREAU Vincent <vincent.rouvreau@inria.fr>2019-04-12 15:42:00 +0200
commitc349dbe51f9f7b6a1c1c962b1803b7c7e695eded (patch)
tree88d9fb3c0f33e732b82466ada6dc9cd5ad5c7f97 /.circleci
parent2abd52d46dee679efcdc6a6ba3ba6202f8b8d105 (diff)
Add bibtex for doxygen generation
Diffstat (limited to '.circleci')
0 files changed, 0 insertions, 0 deletions