diff options
| author | Michael Ernst <mernst@cs.washington.edu> | 2017-03-03 10:22:49 -0800 |
|---|---|---|
| committer | Michael Ernst <mernst@cs.washington.edu> | 2017-03-03 10:22:49 -0800 |
| commit | 270c3edac9f61e4d19992fe79edbbc27bdc50f66 (patch) | |
| tree | bf7cbfa06bf54b17318728c199e2342e8a722276 | |
| parent | 106db7772ff91b3e0d6c9120b90a733b9afce400 (diff) | |
| download | annotation-tools-270c3edac9f61e4d19992fe79edbbc27bdc50f66.tar.gz | |
Update URL
| -rw-r--r-- | annotation-file-utilities/annotation-file-format.bib | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/annotation-file-utilities/annotation-file-format.bib b/annotation-file-utilities/annotation-file-format.bib index b0f6629..cfcba2f 100644 --- a/annotation-file-utilities/annotation-file-format.bib +++ b/annotation-file-utilities/annotation-file-format.bib @@ -7,5 +7,5 @@ @Misc{CF, key = "Checker Framework website", title = "{Checker Framework} website", - howpublished = "\url{http://types.cs.washington.edu/checker-framework/}", + howpublished = "\url{https://checkerframework.org/}", } |