diff options
| author | Ramón M. Gómez <ramongomez@us.es> | 2019-11-21 14:14:09 +0100 |
|---|---|---|
| committer | Ramón M. Gómez <ramongomez@us.es> | 2019-11-21 14:14:09 +0100 |
| commit | d986707e24ebee86ef6010f37f5f8ac2f1d7cdda (patch) | |
| tree | 18def2f9800e90264a2456921f936b0e5c694a4a /admin | |
| parent | 8a2b568dfb42283022a85d54eaeeea56c3d8b87c (diff) | |
#915: Add new ogAdmServer compilation dependency.
Diffstat (limited to 'admin')
0 files changed, 0 insertions, 0 deletions