Update examples.markdown: gwern.net repo home
I've ceased hosting the repo myself since it has grown to 1.6GB, and instead put it on Patch-tag.com, so the command is no longer correct.
commit16488d648ca66fbdb7d7649d6f4d02e95c112711
authorgwern <gwern0@gmail.com>
dateMon 19 Aug 2013, 14:35 (13 years ago)
parent5679681
web/examples.markdown+1−1
@@ -77,7 +77,7 @@ this list. This list has no particular ordering.
7777- <http://rs.io>,
7878 [source](https://github.com/robertseaton/rs.io/)
7979- <http://www.gwern.net/>,
80− source: `darcs get http://www.gwern.net`
80+ source [on Patch-tag](https://patch-tag.com/r/gwern/Gwern/home)
8181- <http://blog.coldflake.com/>,
8282 [source](https://github.com/marcmo/blog.coldflake)
8383- <http://deepak.jois.name>,