tree 147a869ad4ab902cc7ea0553b0e882bbde63b920
parent 0d629a8782524645e503bdcb686e01f8049c41d0
author Wladimir J. van der Laan <laanwj@gmail.com> 1508173827 +0000
committer Wladimir J. van der Laan <laanwj@gmail.com> 1508174249 +0000

Update header files from rnndb

Signed-off-by: Wladimir J. van der Laan <laanwj@gmail.com>