Opened 13 years ago
Closed 13 years ago
#426 closed defect (fixed)
proof-user-options custom group partly broken
Reported by: | coquser | Owned by: | David Aspinall |
---|---|---|---|
Priority: | major | Milestone: | PG-Emacs-4.1 |
Component: | 2:pg-emacs | Keywords: | |
Cc: |
Description
displaying this customization group gives an error and a lot of options are invisible
Change History (1)
comment:1 Changed 13 years ago by
Milestone: | PG-Emacs-4.2 → PG-Emacs-4.1 |
---|---|
Resolution: | → fixed |
Status: | new → closed |
Note: See
TracTickets for help on using
tickets.