Denis Davydov c24dc9072e oce: fix fetching (#2921) ... * oce: fix fetching apparently the fetcher is confused when there is a mixture of 3-digits versions and 2-digits versions, i.e. 0.18 and 0.17.2 * flake8		2017-01-25 21:39:40 -07:00
..
null.patch	oce: fix bugs related to NULL pointers and compiler optimisation	2016-03-31 13:36:28 +02:00
package.py	oce: fix fetching (#2921)	2017-01-25 21:39:40 -07:00
sierra.patch	oce: add 0.18 and fix patching (#2844)	2017-01-17 14:40:07 -08:00