diff options
Diffstat (limited to 'bin')
| -rw-r--r-- | bin/dune | 3 |
1 files changed, 2 insertions, 1 deletions
| @@ -1,4 +1,5 @@ | |||
| 1 | (executable | 1 | (executable |
| 2 | (public_name sand) | 2 | (public_name sand) |
| 3 | (name main) | 3 | (name main) |
| 4 | (libraries sand)) | 4 | (libraries sand) |
| 5 | (modes exe byte)) | ||
