diff options
| author | Matthew Sotoudeh <masotoudeh@ucdavis.edu> | 2020-09-16 13:25:47 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-09-16 13:25:47 -0700 |
| commit | 5d083c8ff8794c598f1e31c24d7f74f36b86cae9 (patch) | |
| tree | 7dd901089aae430fa7c36bbbae61ec5e973da3bb /.gitignore | |
| parent | 696252c38a939599cc2f0ea8a05b135120e725d3 (diff) | |
Add a script for automatically DBLP-ifying references (#5)
Also added documentation for it in the README.
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -1,3 +1,4 @@ .*.swp +__pycache__ .nfs* /bazel-* |