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 /lib/util.ml | |
| parent | 5c3864986f844a31e0b6dbeec48543dc6376cff6 (diff) | |
| download | sandy-6386474ac8a4b113d5c9b4aa2b03104b7f219371.tar.gz sandy-6386474ac8a4b113d5c9b4aa2b03104b7f219371.zip | |
refarctor: rename project to 'sandy'
Diffstat (limited to 'lib/util.ml')
0 files changed, 0 insertions, 0 deletions