RPS API: Add API calls to rps header
authorJulius Bünger <buenger@mytum.de>
Thu, 11 Oct 2018 14:34:46 +0000 (16:34 +0200)
committerJulius Bünger <buenger@mytum.de>
Thu, 11 Oct 2018 14:34:46 +0000 (16:34 +0200)
commit70bdd2cc27981f415ee80cb44cc31ec99b12bc00
treed0e4940398100cc47f8b643bf578b7a6261872c2
parentb5f74297733d8493881db455e234eeb3ee8cf9f9
RPS API: Add API calls to rps header
src/include/gnunet_rps_service.h