3 commits

Author	SHA1	Message	Date
Hugo Locurcio	53e94a1ce1	Optimize images losslessly using oxipng -o6 --strip all --zopfli	2018-06-28 19:17:41 +02:00
Timo Schwarzer	1e29d92dfa	Use new icons everywhere ... Closes #8879	2017-05-28 20:18:30 +02:00
Rémi Verschelde	b87a232668	Reorder the folders in tools to prepare moving tools/editor ... - `certs` and `editor_fonts` go to `thirdparty` - `dist` and `scripts` go to a new `misc` folder - `collada` and `doc` go to `tools/editor` The next step will be to rename `tools/editor` to `editor` directly, but this will be done at the right time to avoid breaking too many PRs.	2017-02-09 00:08:27 +01:00