Skip to content

Commit

Permalink
Reorder links
Browse files Browse the repository at this point in the history
  • Loading branch information
mernst committed Jun 24, 2024
1 parent cc83d83 commit 0c73c07
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions docs/developer/developer-manual.html
Original file line number Diff line number Diff line change
Expand Up @@ -518,9 +518,9 @@ <h2 id="Making_a_Checker_Framework_release">Making a Checker Framework release</

<p>
See a separate document about the Checker Framework release process:
<a href="https://htmlpreview.github.io/?https://github.com/typetools/checker-framework/master/docs/developer/release/README-release-process.html">web version (from previous release)</a> or
<!-- This relative URL works from a clone, but not from the web. -->
<a href="release/README-release-process.html">local version (link works from a clone)</a> or
<a href="https://htmlpreview.github.io/?https://github.com/typetools/checker-framework/master/docs/developer/release/README-release-process.html">web version (from previous release)</a>.
<a href="release/README-release-process.html">local version (link works from a clone)</a>.
</p>


Expand Down

0 comments on commit 0c73c07

Please sign in to comment.