]> rtime.felk.cvut.cz Git - ert_linux_web.git/commitdiff
Update link to DCE server which has been renamed to control.fel.cvut.cz
authorPavel Pisa <pisa@cmp.felk.cvut.cz>
Sat, 19 Mar 2022 16:14:10 +0000 (17:14 +0100)
committerPavel Pisa <pisa@cmp.felk.cvut.cz>
Sat, 19 Mar 2022 16:14:10 +0000 (17:14 +0100)
Signed-off-by: Pavel Pisa <pisa@cmp.felk.cvut.cz>

No differences found