Closed hintjens closed 12 years ago
Problem: mdp.h is not the exported API but for internal use
Solution: create a new mdp.h for the exported API and rename the internal header file.
Problem: mdp.h is not the exported API but for internal use
Solution: create a new mdp.h for the exported API and rename the internal header file.