diff options
| author | Fredrik Domeij <fredrik.domeij@umu.se> | 2017-02-09 16:46:32 +0100 |
|---|---|---|
| committer | Fredrik Domeij <fredrik.domeij@umu.se> | 2017-02-09 16:46:32 +0100 |
| commit | 1f0f0c4536432dffc5452b6b68b62269de5812c7 (patch) | |
| tree | fb66417a3a86c10f95774c60b1b82b660279a8d1 /externals.xrd | |
| parent | 0ee7a8cf93910d6d3bc76eeadcc6053606811aef (diff) | |
exit on mdui in wrong extensions section in xml
Diffstat (limited to 'externals.xrd')
0 files changed, 0 insertions, 0 deletions