Sébastien Loriot a2122435e4 remove resource (very similar to 1.8.20)		2020-10-27 19:37:30 +01:00
..
1.8.4	Fix menu_version.js in the doc	2020-09-08 11:19:45 +02:00
1.8.13	Fix menu_version.js in the doc	2020-09-08 11:19:45 +02:00
1.8.14	add resource files for 1.8.19 + cmake update for version number	2020-10-26 18:39:06 +01:00
1.8.20	add resources for 1.8.20	2020-10-27 19:31:31 +01:00