diff options
| author | Clément Pit-Claudel | 2018-09-04 18:11:40 -0400 |
|---|---|---|
| committer | Théo Zimmermann | 2018-09-20 10:12:55 +0200 |
| commit | ad7dda30d651f259304a2efdcc84519ae6542bb7 (patch) | |
| tree | 8008cd74f6850a5ec2e15d562db43bca5cdf302e /Makefile.dev | |
| parent | 47bd6c3de6e8e2e8cdaf049ba95934ad4d0af4f7 (diff) | |
[doc] Explain why zebibliography needs to be separate and oddly-named
Diffstat (limited to 'Makefile.dev')
0 files changed, 0 insertions, 0 deletions