diff options
| author | Ashafix <maximili.peters@mail.huji.ac.il> | 2018-10-13 14:20:18 +0200 |
|---|---|---|
| committer | Ashafix <maximili.peters@mail.huji.ac.il> | 2018-10-25 22:46:01 +0200 |
| commit | 9e36f5f6f8da7f41f82208dbcc4e9be3b0a75e8d (patch) | |
| tree | 47b1d2b5bf2ae74a6a6feceb63a8495f41954002 /main/splash_editor.png | |
| parent | 43c28681add010b5daccbcfde3e3065d7be7b52c (diff) | |
Better error message for malformed plugins
Diffstat (limited to 'main/splash_editor.png')
0 files changed, 0 insertions, 0 deletions