diff --git a/dist/main.html b/dist/main.html index b0f800e5..e2742a81 100644 --- a/dist/main.html +++ b/dist/main.html @@ -71,7 +71,8 @@ Edit ./^$/,s/
|
latest tree: plan9port.tgz
(date and checksums;
- list of recent changes)
+ list of recent changes;
+ license)
|