Stefan Eßer fb16dfecae Remove WWW entries moved into port Makefiles ... 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)		2022-09-07 23:58:51 +02:00
..
distinfo	math/lean: Update 3.47.0 -> 3.48.0; Add options TCMALLOC, THREADS	2022-08-31 21:12:35 -07:00
Makefile	Add WWW entries to port Makefiles	2022-09-07 23:10:59 +02:00
pkg-descr	Remove WWW entries moved into port Makefiles	2022-09-07 23:58:51 +02:00
pkg-message	math/lean: Add to pkg-message	2022-09-06 09:06:07 -07:00
pkg-plist	math/lean: Fix performance problem	2022-09-05 10:40:17 -07:00