diff options
| author | Federico Igne <undyamon@disroot.org> | 2024-01-11 19:38:04 +0100 |
|---|---|---|
| committer | Federico Igne <undyamon@disroot.org> | 2024-01-11 19:38:04 +0100 |
| commit | b177712c7ac2563cbfad48927452d9544cbafd22 (patch) | |
| tree | 77f11233eb096a25940904a289bd05b245878cec /dune-project | |
| parent | 055c743c55bde27f4475d3434c26d8383c0c3ea1 (diff) | |
| download | sandy-b177712c7ac2563cbfad48927452d9544cbafd22.tar.gz sandy-b177712c7ac2563cbfad48927452d9544cbafd22.zip | |
refactor: revert temporary naming
Diffstat (limited to 'dune-project')
0 files changed, 0 insertions, 0 deletions