Bug 99341 - math/isabelle: Fix plist
Summary: math/isabelle: Fix plist
Status: Closed FIXED
Alias: None
Product: Ports & Packages
Classification: Unclassified
Component: Individual Port(s) (show other bugs)
Version: Latest
Hardware: Any Any
: Normal Affects Only Me
Assignee: Shaun Amott
URL:
Keywords:
Depends on:
Blocks:
 
Reported: 2006-06-23 02:50 UTC by Shaun Amott
Modified: 2006-06-23 03:31 UTC (History)
1 user (show)

See Also:


Attachments
math::isabelle.diff (595 bytes, patch)
2006-06-23 02:50 UTC, Shaun Amott
no flags Details | Diff

Note You need to log in before you can comment on or make changes to this bug.
Description Shaun Amott freebsd_committer freebsd_triage 2006-06-23 02:50:22 UTC
Don't remove system files. :)
Comment 1 Edwin Groothuis freebsd_committer freebsd_triage 2006-06-23 02:51:29 UTC
Responsible Changed
From-To: freebsd-ports-bugs->shaun

Submitter has GNATS access
Comment 2 Edwin Groothuis freebsd_committer freebsd_triage 2006-06-23 02:51:44 UTC
State Changed
From-To: open->feedback

Awaiting maintainers feedback
Comment 3 Timothy Bourke 2006-06-23 03:19:47 UTC
I approve the patch. Thank you.

On Jun 23 at 01:51 +0000, Edwin Groothuis wrote:
> Maintainer of math/isabelle,
> 
> Please note that PR ports/99341 has just been submitted.
> 
> If it contains a patch for an upgrade, an enhancement or a bug fix
> you agree on, reply to this email stating that you approve the patch
> and a committer will take care of it.
> 
> The full text of the PR can be found at:
>     http://www.freebsd.org/cgi/query-pr.cgi?pr=ports/99341
> 
> -- 
> Edwin Groothuis
> edwin@FreeBSD.org
Comment 4 Shaun Amott freebsd_committer freebsd_triage 2006-06-23 03:30:48 UTC
State Changed
From-To: feedback->closed

Committed.