-
-
Notifications
You must be signed in to change notification settings - Fork 1.3k
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Set the svn:keywords property to 'Id' for all Portfile's. This
re-enables the Id keyword substitution that was present in the CVS repository. See this thread for more information: http://lists.macosforge.org/pipermail/macports-dev/2006-October/000180.html git-svn-id: https://svn.macports.org/repository/macports/trunk/dports@20334 d073be05-634f-4543-b044-5fe20cf6d1d6
- Loading branch information
Showing
21 changed files
with
21 additions
and
21 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1,4 +1,4 @@ | ||
# $Id: Portfile,v 1.3 2005/03/28 02:15:01 jkh Exp $ | ||
# $Id$ | ||
PortSystem 1.0 | ||
name ProofGeneral | ||
version 3.5 | ||
|
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1,4 +1,4 @@ | ||
# $Id: Portfile,v 1.16 2006/06/29 20:46:52 gwright Exp $ | ||
# $Id$ | ||
|
||
PortSystem 1.0 | ||
name R | ||
|
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1,4 +1,4 @@ | ||
# $Id: Portfile,v 1.52 2006/04/19 06:28:49 mww Exp $ | ||
# $Id$ | ||
|
||
PortSystem 1.0 | ||
|
||
|
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1,4 +1,4 @@ | ||
# $Id: Portfile,v 1.13 2006/07/03 18:09:05 gwright Exp $ | ||
# $Id$ | ||
|
||
PortSystem 1.0 | ||
name maxima | ||
|
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1,4 +1,4 @@ | ||
# $Id: Portfile,v 1.2 2006/02/22 19:35:49 mww Exp $ | ||
# $Id$ | ||
|
||
PortSystem 1.0 | ||
|
||
|
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1,4 +1,4 @@ | ||
# $Id: Portfile,v 1.1 2005/11/05 12:48:43 mww Exp $ | ||
# $Id$ | ||
|
||
PortSystem 1.0 | ||
|
||
|
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1,4 +1,4 @@ | ||
# $Id: Portfile,v 1.1 2006/02/15 22:21:12 mww Exp $ | ||
# $Id$ | ||
|
||
PortSystem 1.0 | ||
|
||
|
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1,4 +1,4 @@ | ||
# $Id: Portfile,v 1.1 2006/07/13 06:50:03 stechert Exp $ | ||
# $Id$ | ||
PortSystem 1.0 | ||
|
||
name nauty | ||
|
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1,4 +1,4 @@ | ||
# $Id: Portfile,v 1.1 2004/11/25 04:17:44 toby Exp $ | ||
# $Id$ | ||
|
||
PortSystem 1.0 | ||
name ndiff | ||
|
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1,4 +1,4 @@ | ||
# $Id: Portfile,v 1.9 2006/08/16 18:01:21 gwright Exp $ | ||
# $Id$ | ||
|
||
PortSystem 1.0 | ||
name nestedsums | ||
|
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1,4 +1,4 @@ | ||
# $Id: Portfile,v 1.1 2005/10/19 21:17:23 mww Exp $ | ||
# $Id$ | ||
|
||
PortSystem 1.0 | ||
name ntl | ||
|
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1,4 +1,4 @@ | ||
# $Id: Portfile,v 1.20 2006/06/21 21:27:45 mww Exp $ | ||
# $Id$ | ||
|
||
PortSystem 1.0 | ||
name octave | ||
|
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1,4 +1,4 @@ | ||
# $Id: Portfile,v 1.3 2005/08/19 08:17:24 blb Exp $ | ||
# $Id$ | ||
|
||
PortSystem 1.0 | ||
name oleo | ||
|
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1,4 +1,4 @@ | ||
# $Id: Portfile,v 1.6 2006/07/31 00:06:22 vinc17 Exp $ | ||
# $Id$ | ||
|
||
PortSystem 1.0 | ||
name pari | ||
|
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1,4 +1,4 @@ | ||
# $Id: Portfile,v 1.4 2005/04/21 15:57:53 jberry Exp $ | ||
# $Id$ | ||
|
||
PortSystem 1.0 | ||
|
||
|
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1,4 +1,4 @@ | ||
# $Id: Portfile,v 1.1 2005/05/31 19:15:39 toby Exp $ | ||
# $Id$ | ||
|
||
PortSystem 1.0 | ||
name ploticus | ||
|
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1,4 +1,4 @@ | ||
# $Id: Portfile,v 1.1 2004/10/05 14:42:18 mww Exp $ | ||
# $Id$ | ||
|
||
PortSystem 1.0 | ||
|
||
|
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1,4 +1,4 @@ | ||
# $Id: Portfile,v 1.1 2005/07/29 01:39:57 ben Exp $ | ||
# $Id$ | ||
|
||
PortSystem 1.0 | ||
name xgraph | ||
|
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1,4 +1,4 @@ | ||
# $Id: Portfile,v 1.1 2005/05/26 04:25:05 jmpp Exp $ | ||
# $Id$ | ||
|
||
PortSystem 1.0 | ||
|
||
|
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1,4 +1,4 @@ | ||
# $Id: Portfile,v 1.1 2004/03/27 17:28:05 fenner Exp $ | ||
# $Id$ | ||
PortSystem 1.0 | ||
|
||
name xplot | ||
|
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1,4 +1,4 @@ | ||
# $Id: Portfile,v 1.2 2005/08/16 18:08:33 mww Exp $ | ||
# $Id$ | ||
|
||
PortSystem 1.0 | ||
name yacas | ||
|