Guido Fioravantti 0e9d1451c6 Removes redundant VOLATILE modifier		2015-11-10 11:36:48 +01:00
..
extension	Removes redundant VOLATILE modifier	2015-11-10 11:36:48 +01:00
lib/python/heremaps	Make heremaps module pip installable	2015-11-06 12:07:41 +01:00