Skip to content

Commit

Permalink
Update template repo link to EISOP (#1031)
Browse files Browse the repository at this point in the history
  • Loading branch information
Ao-senXiong authored Jan 2, 2025
1 parent 730f9e8 commit d93e807
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion docs/manual/creating-a-checker.tex
Original file line number Diff line number Diff line change
Expand Up @@ -212,7 +212,7 @@
repository \url{https://github.com/eisop/checker-framework}.
Another choice is to write it in a stand-alone repository. Here is a
template for a stand-alone repository:
\url{https://github.com/typetools/templatefora-checker}; at that URL,
\url{https://github.com/eisop/templatefora-checker}; at that URL,
click the ``Use this template'' button.

% You may also wish to consult Section~\ref{creating-testing-framework} for
Expand Down

0 comments on commit d93e807

Please sign in to comment.