diff options
author | Jan Holthuis <jan.holthuis@ruhr-uni-bochum.de> | 2020-05-12 20:17:09 +0200 |
---|---|---|
committer | Jan Holthuis <jan.holthuis@ruhr-uni-bochum.de> | 2020-05-12 20:17:45 +0200 |
commit | ba54d104fc7865f0a39cde0a8e99ab09c541c519 (patch) | |
tree | 72677b06652461806b70acc89b874231ff5801bb /res/skins | |
parent | f3a15cb1358ae9b06dc3f8bd057f239bc8a7acdd (diff) |
Update paths in source files
Diffstat (limited to 'res/skins')
0 files changed, 0 insertions, 0 deletions