This is an automated email from the git hooks/post-receive script. It was
generated because a ref change was pushed to the repository containing
the project "gcc-wwwdocs".
The branch, master has been updated
via 979929ae8adf02ec5804f13dd094281bb52b3a20 (commit)
from 6270da30316c686921dca99d431ddddd851ec9b7 (commit)
Those revisions listed above that are new to this repository have
not appeared on any other notification email; so we list those
revisions in full, below.
- Log -----------------------------------------------------------------
commit 979929ae8adf02ec5804f13dd094281bb52b3a20
Author: Gerald Pfeifer <[email protected]>
Date: Sun Jul 7 23:11:50 2024 +0200
readings: Update Edsger W. Dijkstra's home page
diff --git a/htdocs/readings.html b/htdocs/readings.html
index ae1b52bb..f0d44d6f 100644
--- a/htdocs/readings.html
+++ b/htdocs/readings.html
@@ -469,7 +469,7 @@ names.
<li>Historical material - for your enjoyment.
<ul>
- <li><a href="https://www.cs.utexas.edu/users/EWD/";>The writings of Edsger
W. Dijkstra (RIP)</a></li>
+ <li><a href="https://www.cs.utexas.edu/~EWD/";>The writings of Edsger W.
Dijkstra (RIP)</a></li>
</ul>
</li>
-----------------------------------------------------------------------
Summary of changes:
htdocs/readings.html | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
hooks/post-receive
--
gcc-wwwdocs
