summaryrefslogtreecommitdiff
path: root/doc/documentation
diff options
context:
space:
mode:
authorJulius Bünger <buenger@mytum.de>2018-10-20 14:44:16 +0200
committerJulius Bünger <buenger@mytum.de>2018-10-20 14:47:31 +0200
commit5378a0bf656cd65e50a97cd61c43d5e02c03da26 (patch)
tree54423eaf72739b0d0aa277474ccc5037f442ff4a /doc/documentation
parentd2bdef77c4f13b1e51ac72340b7e1cc1535f6bb3 (diff)
RPS service: Write push frequency and pull delays to disk
Diffstat (limited to 'doc/documentation')
0 files changed, 0 insertions, 0 deletions