rps service: rename option in config
authorJulius Bünger <buenger@mytum.de>
Tue, 5 Jun 2018 22:35:23 +0000 (00:35 +0200)
committerJulius Bünger <buenger@mytum.de>
Tue, 5 Jun 2018 22:35:23 +0000 (00:35 +0200)
commit7f6b8047649d371429e55b99d31870e25e803541
tree43de169c70c3a37ae0e54a991fa87d914f7e5ed5
parentd15b9286cbaa6f56299f9064d269d3a1aa1ddee4
rps service: rename option in config
src/rps/rps.conf.in