fixes for DLL management and indentation
authorChristian Grothoff <christian@grothoff.org>
Thu, 22 Nov 2018 12:34:14 +0000 (13:34 +0100)
committerJulius Bünger <buenger@mytum.de>
Thu, 22 Nov 2018 23:22:30 +0000 (00:22 +0100)
commit5de6a9d7efba391174878077c2c64c2189a3d35e
tree6c7f32207f8c52ee0731497ddd9e308c472feaac
parent101694a7120bc90c8c02024294b6f098b1bca9ff
fixes for DLL management and indentation
src/rps/rps_api.c