ricolin 203bce9cd7 Switch to use opendev.org ... Our cgit instance will be going away and opendev.org is the new preferred URL for browsing our git repos. Redirects will exist for the foreseeable future, but it's more efficient to just go directly to the new locations. Change-Id: Ic5fa1a8436f57836ad37b752a0cca1cd4f3a21a7		2019-04-22 09:36:50 +05:30
..
hello_world.rst	Switch to use opendev.org	2019-04-22 09:36:50 +05:30