mirror of
https://git.FreeBSD.org/ports.git
synced 2024-11-19 00:13:33 +00:00
fb16dfecae
Commit b7f05445c0 has added WWW entries to port Makefiles based on
WWW: lines in pkg-descr files.
This commit removes the WWW: lines of moved-over URLs from these
pkg-descr files.
Approved by: portmgr (tcberner)
4 lines
129 B
Plaintext
4 lines
129 B
Plaintext
A tool for writing definitions of programming languages and calculi
|
|
|
|
by Peter Sewell, Francesco Zappa Nardelli, and Scott Owens.
|