# HG changeset patch
# User wenzelm
# Date 1573767163 -3600
# Node ID 962eda254ac4409f59f9ff75d0b4447a44470257
# Parent  e5984c853f7729c08d03f677ee0ff56f1885cbac
more examples;

diff -r e5984c853f77 -r 962eda254ac4 src/Doc/System/Phabricator.thy
--- a/src/Doc/System/Phabricator.thy	Thu Nov 14 22:20:50 2019 +0100
+++ b/src/Doc/System/Phabricator.thy	Thu Nov 14 22:32:43 2019 +0100
@@ -37,6 +37,7 @@
 
     \<^item> Phabricator development \<^url>\<open>https://secure.phabricator.com\<close>
     \<^item> Wikimedia development \<^url>\<open>https://phabricator.wikimedia.org\<close>
+    \<^item> Blender development \<^url>\<open>https://developer.blender.org/\<close>
     \<^item> Mercurial development \<^url>\<open>https://phab.mercurial-scm.org\<close>
     \<^item> Isabelle development \<^url>\<open>https://isabelle-dev.sketis.net\<close>