sorry to say but we haven’t tagged the versions of the documentation up to now.
A solution which requires some technical know-how is to check out the documentation source code and build yourself. It was bumped to version 2.13 at revision 841 so checking out 840 will do:
On Monday, 2 December 2013 5:57 PM, Lars Helge Øverland larshelge@gmail.com wrote:
Hi Uddin,
sorry to say but we haven’t tagged the versions of the documentation up to now.
A solution which requires some technical know-how is to check out the documentation source code and build yourself. It was bumped to version 2.13 at revision 841 so checking out 840 will do: