Doc RPS: Add first high-level intro to rps
authorJulius Bünger <buenger@mytum.de>
Fri, 21 Jun 2019 21:22:04 +0000 (23:22 +0200)
committerJulius Bünger <buenger@mytum.de>
Fri, 21 Jun 2019 21:23:02 +0000 (23:23 +0200)
commit67b161e86e95152906c80c4fa8cf067614e8653e
treea3b153a82c6be06bc6491d59c1f79c69d3753148
parent96f72f827b3bdc01f9a75ec1913a9e15dcb608ea
Doc RPS: Add first high-level intro to rps
doc/handbook/chapters/keyconcepts.texi