diff options
Diffstat (limited to 'extra/dblp/.gitignore')
| -rw-r--r-- | extra/dblp/.gitignore | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/extra/dblp/.gitignore b/extra/dblp/.gitignore index 8847a157..a04dd76e 100644 --- a/extra/dblp/.gitignore +++ b/extra/dblp/.gitignore @@ -1,3 +1,6 @@ conf/ journals/ series/ +Pipfile.lock +*.json +*.html |