diff options
| author | Ramón M. Gómez <ramongomez@us.es> | 2021-03-09 20:16:51 +0100 |
|---|---|---|
| committer | Ramón M. Gómez <ramongomez@us.es> | 2021-03-09 20:16:51 +0100 |
| commit | 344e9c1021fcea92dbcbdb10031dd29703196336 (patch) | |
| tree | ddd0fc54fffe5974d373ee226d4ddb421c429527 /server | |
| parent | 4a7356a3af3aea5f5f7fe81f6ff8679157d2b2f0 (diff) | |
#991: Add maintenace status to lab status legend.
Diffstat (limited to 'server')
0 files changed, 0 insertions, 0 deletions