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 /dune-project | |
| parent | 5c3864986f844a31e0b6dbeec48543dc6376cff6 (diff) | |
| download | sandy-6386474ac8a4b113d5c9b4aa2b03104b7f219371.tar.gz sandy-6386474ac8a4b113d5c9b4aa2b03104b7f219371.zip | |
refarctor: rename project to 'sandy'
Diffstat (limited to 'dune-project')
| -rw-r--r-- | dune-project | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/dune-project b/dune-project index cc3ce88..1cca4b6 100644 --- a/dune-project +++ b/dune-project | |||
| @@ -1,6 +1,6 @@ | |||
| 1 | (lang dune 3.7) | 1 | (lang dune 3.7) |
| 2 | 2 | ||
| 3 | (name sand) | 3 | (name sandy) |
| 4 | 4 | ||
| 5 | (generate_opam_files true) | 5 | (generate_opam_files true) |
| 6 | 6 | ||
| @@ -18,7 +18,7 @@ | |||
| 18 | ; (documentation https://url/to/documentation) | 18 | ; (documentation https://url/to/documentation) |
| 19 | 19 | ||
| 20 | (package | 20 | (package |
| 21 | (name sand) | 21 | (name sandy) |
| 22 | (synopsis "A simple editor inspired by 'kilo'.") | 22 | (synopsis "A simple editor inspired by 'kilo'.") |
| 23 | ; (description "A longer description") | 23 | ; (description "A longer description") |
| 24 | ; (tags | 24 | ; (tags |