Opened 15 years ago
Closed 15 years ago
#270 closed defect (fixed)
Odd PG/Trac link
Reported by: | Makarius | Owned by: | David Aspinall |
---|---|---|---|
Priority: | major | Milestone: | PG-Emacs-4.0 |
Component: | 2:pg-emacs | Keywords: | |
Cc: |
Description
There is an odd link on http://proofgeneral.inf.ed.ac.uk/devel --- the hyperlink of "Visit the PG trac" points to the home page instead of http://proofgeneral.inf.ed.ac.uk/trac
Change History (2)
comment:1 Changed 15 years ago by
comment:2 Changed 15 years ago by
Resolution: | → fixed |
---|---|
Status: | new → closed |
Note: See
TracTickets for help on using
tickets.
Thanks. Will repair on next devel release.