Search:
GitHub Login
Preferences
My Notifications
Tickets
Wiki
GitHub
Timeline
Roadmap
Ticket Reports
Search
Context Navigation
View Latest Revision
source:
trunk
/
dports
/
lang
/
coq
/
Portfile
Revision Log Mode:
Stop on copy
Follow copies
Show only adds and deletes
View log starting at
and back to
Show at most
revisions per page.
Show full log messages
Legend:
Added
Modified
Copied or renamed
Diff
Rev
Age
Author
Log Message
(edit)
@9017
13 years
mww
Bug:
#2351
Submitted by: reilles@… Reviewed by: …
(edit)
@8170
14 years
mww
Submitted by: reilles@… change maintainer to …
(edit)
@8168
14 years
olegb
Bug: 2145 Submitted by: reilles@… (Antoine …
(edit)
@7692
14 years
olegb
Bug: Submitted by: Reviewed by: Approved by: Obtained from: update …
(add)
@5600
14 years
olegb
Bug: 1542 Submitted by: reilles@… (Antoine …
Note:
See
TracRevisionLog
for help on using the revision log.
Download in other formats:
RSS Feed
ChangeLog