diff options
| author | pav <pav@FreeBSD.org> | 2004-10-16 08:57:00 +0800 |
|---|---|---|
| committer | pav <pav@FreeBSD.org> | 2004-10-16 08:57:00 +0800 |
| commit | 9d51d5a038046c53a17d80dd756961b01daca009 (patch) | |
| tree | 277f98bebeadc4c87f94246e1442b246ac48c04c | |
| parent | 1acd43444f510aae364a8325c935b699be30b2bc (diff) | |
| download | freebsd-ports-graphics-9d51d5a038046c53a17d80dd756961b01daca009.tar.gz freebsd-ports-graphics-9d51d5a038046c53a17d80dd756961b01daca009.tar.zst freebsd-ports-graphics-9d51d5a038046c53a17d80dd756961b01daca009.zip | |
coq --> ports/math/coq
| -rw-r--r-- | CVSROOT/modules | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/CVSROOT/modules b/CVSROOT/modules index b6be567b826..4102fbb6b46 100644 --- a/CVSROOT/modules +++ b/CVSROOT/modules @@ -1100,6 +1100,7 @@ coolmail ports/mail/coolmail coppermine ports/www/coppermine cops ports/security/cops copytape ports/sysutils/copytape +coq ports/math/coq coreutils ports/sysutils/coreutils corewars ports/games/corewars corkscrew ports/net/corkscrew |