diff options
| author | arved <arved@FreeBSD.org> | 2007-06-02 02:10:41 +0800 |
|---|---|---|
| committer | arved <arved@FreeBSD.org> | 2007-06-02 02:10:41 +0800 |
| commit | b647be9b1f16ee1b3f1bdb2649a1425cbc22d331 (patch) | |
| tree | 0d9721fc40e4d6b5b3056c6fa745860547a52d5d /lang | |
| parent | 52cfa57eacefad3360ba60c7402d09d0174dd7ab (diff) | |
| download | freebsd-ports-gnome-b647be9b1f16ee1b3f1bdb2649a1425cbc22d331.tar.gz freebsd-ports-gnome-b647be9b1f16ee1b3f1bdb2649a1425cbc22d331.tar.zst freebsd-ports-gnome-b647be9b1f16ee1b3f1bdb2649a1425cbc22d331.zip | |
Add dlv to LEGAL, no information about redistribution
Diffstat (limited to 'lang')
| -rw-r--r-- | lang/dlv/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/lang/dlv/Makefile b/lang/dlv/Makefile index c209e8738818..e3829a8c4617 100644 --- a/lang/dlv/Makefile +++ b/lang/dlv/Makefile @@ -17,6 +17,7 @@ COMMENT= A Disjunctive Datalog System NO_BUILD= yes PLIST_FILES= bin/dlv ONLY_FOR_ARCHS= i386 amd64 +RESTRICTED= Not sure if we can redistribute it do-extract: |