ZhongShengping c466662e7c Fix the url for goals of ussuri ...

The old url reports 404 Not Found, so fix it.

Change-Id: I4e406199f8e471d0f7a40d80946109b977543901

2019-12-16 10:38:14 +08:00

..

source

Fix the url for goals of ussuri

2019-12-16 10:38:14 +08:00

requirements.txt

Merge "Drop references to oslosphinx"

2019-07-19 04:51:43 +00:00