diff options
| author | Marcos Magueta <maguetamarcos@gmail.com> | 2025-02-27 23:20:45 -0300 |
|---|---|---|
| committer | Marcos Magueta <maguetamarcos@gmail.com> | 2025-02-27 23:20:45 -0300 |
| commit | 737b4c19d14a12e05ec862d23f8f29ff790a73c2 (patch) | |
| tree | 3e70dc1de58debfdc01c289a3bf1f49223cd2140 /dune-project | |
| parent | 355690f76f3ca895ade25d281beb1eea27e1f53e (diff) | |
| download | Sakura-737b4c19d14a12e05ec862d23f8f29ff790a73c2.tar.gz Sakura-737b4c19d14a12e05ec862d23f8f29ff790a73c2.zip | |
add partition and debugger
Diffstat (limited to 'dune-project')
| -rw-r--r-- | dune-project | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/dune-project b/dune-project index 661cecd..a5631f0 100644 --- a/dune-project +++ b/dune-project @@ -1,4 +1,5 @@ (lang dune 3.16) +(map_workspace_root false) (using ctypes 0.3) |