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 David Aspinall

Thanks. Will repair on next devel release.

comment:2 Changed 15 years ago by David Aspinall

Resolution: fixed
Status: newclosed
Note: See TracTickets for help on using tickets.