Skip to content

Commit

Permalink
Correct cross-reference
Browse files Browse the repository at this point in the history 
[ci skip]
  • Loading branch information
@mernst
mernst committed Apr 28, 2016
1 parent 19a1110 commit 1af3901
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion README-developers.txt
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
This is the checker-framework repository.

If you wish to use the Checker Framework, see file README.html.
If you wish to use the Checker Framework, see file README.txt.

This repository contains several related projects:

Expand Down

0 comments on commit 1af3901

Please sign in to comment.