-
Matthias Clasen authored
This fixes icons after the recent directory reshuffling, and is just the right thing to do, since these icons are in resources anyway.
5438e53f
This fixes icons after the recent directory reshuffling, and is just the right thing to do, since these icons are in resources anyway.