]> git.donarmstrong.com Git - org-ref.git/blob - .gitignore
try making it more robust to open doi in browser if we cannot get json metadata.
[org-ref.git] / .gitignore
1 *.el
2 *.elc