Jean-Philippe Evrard f1c7e1d853 [Docs] Override env.d the new way ... We used to have env.d in place, and only need to change it if necessary. We now have env.d by default, and override only the relevant part if necessary. This should make things clearer in the docs. Change-Id: Ic425248841baa0645f3395bc6aa010ad81120215 Closes-Bug: 1636018		2016-11-08 19:06:01 +00:00
..
source	[Docs] Override env.d the new way	2016-11-08 19:06:01 +00:00
Makefile	Implement base configuration for independent repository	2016-03-01 09:38:00 -08:00