Maxime Gimeno f4fe671a32 hide manual index for 1.8.4 also

2018-02-07 10:17:24 +01:00

..

1.8.4

hide manual index for 1.8.4 also

2018-02-07 10:17:24 +01:00

1.8.13

Add some postprocessing for 1.8.13

2018-02-06 11:24:12 +01:00

1.8.14

Do the same for 1.8.14

2018-02-06 12:10:06 +01:00