Hugo Locurcio b6d6863055 Remove unused scripts from the `misc/scripts` directory ... This also makes `make_icons.sh` executable directly.		2019-12-17 23:22:47 +01:00
..
fix_headers.py	Add missing license headers	2019-06-11 15:33:32 +02:00
fix_style.sh	Remove unused scripts from the `misc/scripts` directory	2019-12-17 23:22:47 +01:00
make_icons.sh	Remove unused scripts from the `misc/scripts` directory	2019-12-17 23:22:47 +01:00