Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Resolves warning: the following paths have collided (e.g. case-sensitive paths on a case-insensitive filesystem) and only one from the same colliding group is in the working tree: 'en/.gitbook/assets/Infodoc-JabRef-2020-09-09-1.pdf'
- Loading branch information