diff options
Diffstat (limited to 'html')
| -rw-r--r-- | html/devel.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/html/devel.html b/html/devel.html index 5c9c77bb..2e1e3559 100644 --- a/html/devel.html +++ b/html/devel.html @@ -8,7 +8,7 @@ users and hackers! <ul> <li> -Read about ideas for the <a href="kit.html">Proof General Kit</a> +Read about ideas for the <a href="kit">Proof General Kit</a> here. </li> </ul> |