On Sat, 25 Nov 2017, Sven Schreiber wrote:
Hi everybody and Hélio in particular,
what actually happened to the project some years ago to get a more
"modern" look into gretl with new icons? It would really be nice to have
"clearer" and more iconic icons.
Are there any icons you have in mind in particular, for replacement?