Use new terminology in config
authorJulius Bünger <buenger@mytum.de>
Thu, 27 Sep 2018 08:19:29 +0000 (10:19 +0200)
committerJulius Bünger <buenger@mytum.de>
Thu, 27 Sep 2018 08:20:05 +0000 (10:20 +0200)
commit59f386e0698e28ace6902f5694700b384d3dbf70
tree7acd31d83f5e78c605922466e80d0b14dc40be12
parent28273c70836e834793cfb03b82325e38e566e65a
Use new terminology in config
src/rps/rps.conf.in