Skip to content

Commit

Permalink
flambda-backend: Local patch against upstream: remove Raw_spacetime_l…
Browse files Browse the repository at this point in the history 
…ib (does not build with -m32)
  • Loading branch information
@mshinwell @poechsel
mshinwell authored and poechsel committed Jun 25, 2021
1 parent 1a7db7c commit 886b800
Showing 1 changed file with 0 additions and 48 deletions.
48 changes: 0 additions & 48 deletions otherlibs/raw_spacetime_lib/dune
View file

This file was deleted.

0 comments on commit 886b800

Please sign in to comment.