diff options
Diffstat (limited to 'externals/build/src/prob.c')
| -rw-r--r-- | externals/build/src/prob.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/externals/build/src/prob.c b/externals/build/src/prob.c new file mode 100644 index 00000000..2896797a --- /dev/null +++ b/externals/build/src/prob.c @@ -0,0 +1 @@ +#include "../../mjlib/prob.c" |