diff options
| author | Ramón M. Gómez <ramongomez@us.es> | 2020-05-19 15:02:07 +0200 |
|---|---|---|
| committer | Ramón M. Gómez <ramongomez@us.es> | 2020-05-19 15:02:07 +0200 |
| commit | 9bbee37822049bf3e37cf9a1f7ba483397b09cba (patch) | |
| tree | cca82140c1ba1713453f9c3cc4eacfcd92e69ae9 /admin | |
| parent | 4f9978aea3a93f3069a47c31bf5649835e8ba2c3 (diff) | |
#959: Revert adition of wrong file.
Diffstat (limited to 'admin')
0 files changed, 0 insertions, 0 deletions