diff options
| author | fpi | 2020-02-16 21:18:06 +0100 |
|---|---|---|
| committer | fpi | 2020-02-23 18:07:15 +0100 |
| commit | 68ab5bca0fad7a51af7a000b25a88e68d8e97ec3 (patch) | |
| tree | 3925e95a9052f173e591601793f9f6ca0cc11707 /.gitignore | |
| parent | Setup bibtex environment to use BibTeX on startup (diff) | |
Update bibliography locations to be more general
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions