Doc RPS: Add high-level subsection on Brahms
authorJulius Bünger <buenger@mytum.de>
Fri, 21 Jun 2019 23:56:10 +0000 (01:56 +0200)
committerJulius Bünger <buenger@mytum.de>
Fri, 21 Jun 2019 23:56:10 +0000 (01:56 +0200)
commit50de5483528687312e90f29178f716c9d868d55c
treeea12748e5ecb81c98ccb46d24619bc906f237cc5
parentf031f34d3f523985cbecc13f276c879d35707683
Doc RPS: Add high-level subsection on Brahms
doc/handbook/chapters/developer.texi