20141228 (Sunday, 28 December 2014)

In the dblog repo, I removed the now useless files below the docs/2015 directory. And the conf.py added two useless Sphinx extensions. And it should now work also for people who don’t have lino installed.

Started a new section of the documentation tree: /team/index.