Ondřej Nový 9b27778987 Changed Read the Docs TLD domain to .io ...

This change was requested from Read the Docs for security reasons

Change-Id: Ide2e42c64bd60b713eedd641f8b91b2dab50a880

2016-04-28 10:14:57 +02:00

..

build

Added .gitignore to doc/build to ensure the dir is created.

2011-05-26 10:54:15 +00:00

source

Changed Read the Docs TLD domain to .io

2016-04-28 10:14:57 +02:00