Jenkins 09729852f9 Merge "removed job configuration duplication in docs"

2014-06-27 12:11:21 +00:00

..

source

Merge "removed job configuration duplication in docs"

2014-06-27 12:11:21 +00:00

Makefile

sphinx is now stricter

2013-01-15 18:32:46 +00:00