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
284 B
Text
4 lines
284 B
Text
This module implements a deterministic, rectifying variant on Dijkstra's
|
|
guarded commands. Each named step is passed two blocks: an "ensure"
|
|
block that defines a test for a necessary and sufficient condition of
|
|
the step, and a "using" block that will cause that condition to obtain.
|