Eelco Dolstra 83eb49220b Manual: Only include the release number (e.g. 16.03)
This prevents gratuitous rebuilds of the manual every time the Git
revision changes.

Should help a bit with #17261.
2016-08-01 11:10:21 +02:00
..
2016-02-15 12:54:04 -08:00
2016-04-23 16:13:53 +02:00
2016-01-07 06:39:06 +00:00
2016-02-26 08:56:39 +01:00
2015-06-15 18:11:32 +02:00
2015-06-15 18:18:46 +02:00
2015-06-15 18:18:46 +02:00
2015-06-08 08:35:12 +00:00
2016-06-11 03:04:03 +03:00
2014-09-03 15:47:53 +04:00
2016-04-08 10:55:59 -07:00
2015-06-21 18:21:21 +03:00
2016-07-15 16:18:37 +02:00
2014-09-01 10:53:19 +04:00
2015-06-15 18:18:46 +02:00