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