
We currently have 'user guide' and 'developer documentation'. Lets rename to 'developer guide' for consistency. Change-Id: I834ea313bc34275ef33e8c49a1689dff41892015
We currently have 'user guide' and 'developer documentation'. Lets rename to 'developer guide' for consistency. Change-Id: I834ea313bc34275ef33e8c49a1689dff41892015