Skip to content

Commit 886b800

Browse files
mshinwellpoechsel
authored andcommitted
flambda-backend: Local patch against upstream: remove Raw_spacetime_lib (does not build with -m32)
1 parent 1a7db7c commit 886b800

File tree

1 file changed

+0
-48
lines changed
  • otherlibs/raw_spacetime_lib

1 file changed

+0
-48
lines changed

otherlibs/raw_spacetime_lib/dune

Lines changed: 0 additions & 48 deletions
This file was deleted.

0 commit comments

Comments
 (0)