diff options
| author | Ramón M. Gómez <ramongomez@us.es> | 2019-09-23 13:38:47 +0200 |
|---|---|---|
| committer | Ramón M. Gómez <ramongomez@us.es> | 2019-09-23 13:38:47 +0200 |
| commit | 0f21492780fff194dc5f580a16240b58fd5451e0 (patch) | |
| tree | 2096207ee0aef8f2f759770678e2337618bb0f77 /server | |
| parent | c2871184ceedcadbb016d441e3d84dbe06e5f306 (diff) | |
#839: Reservation (power-on) operation is also sent to client repository (as in {{{e57b608}}} commit).
Diffstat (limited to 'server')
0 files changed, 0 insertions, 0 deletions