diff options
| author | Federico Igne <undyamon@disroot.org> | 2024-01-23 18:26:50 +0100 |
|---|---|---|
| committer | Federico Igne <undyamon@disroot.org> | 2024-01-23 18:26:50 +0100 |
| commit | 6386474ac8a4b113d5c9b4aa2b03104b7f219371 (patch) | |
| tree | 72af4c12f321547b4127b7a8a84e3282477f3547 /bin | |
| parent | 5c3864986f844a31e0b6dbeec48543dc6376cff6 (diff) | |
| download | sandy-6386474ac8a4b113d5c9b4aa2b03104b7f219371.tar.gz sandy-6386474ac8a4b113d5c9b4aa2b03104b7f219371.zip | |
refarctor: rename project to 'sandy'
Diffstat (limited to 'bin')
| -rw-r--r-- | bin/dune | 4 | ||||
| -rw-r--r-- | bin/main.ml | 2 |
2 files changed, 3 insertions, 3 deletions
| @@ -1,5 +1,5 @@ | |||
| 1 | (executable | 1 | (executable |
| 2 | (public_name sand) | 2 | (public_name sandy) |
| 3 | (name main) | 3 | (name main) |
| 4 | (libraries sand) | 4 | (libraries sandy) |
| 5 | (modes exe byte)) | 5 | (modes exe byte)) |
diff --git a/bin/main.ml b/bin/main.ml index e763f70..c9ca884 100644 --- a/bin/main.ml +++ b/bin/main.ml | |||
| @@ -1,4 +1,4 @@ | |||
| 1 | open Sand | 1 | open Sandy |
| 2 | 2 | ||
| 3 | let () = | 3 | let () = |
| 4 | let open Editor in | 4 | let open Editor in |