Changeset 64 in code for trunk/dune-project
- Timestamp:
- Jul 28, 2024, 8:28:41 PM (9 months ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/dune-project
r62 r64 6 6 (bug_reports "mailto:logarion-dev@chaotic.ninja") 7 7 (maintainers "Izuru Yakumo <yakumo.izuru@chaotic.ninja>") 8 (homepage "https:// logarion.chaotic.ninja")9 (source (uri git://git.chaotic.ninja/yakumo_izuru/logarion))8 (homepage "https://suzunaan.chaotic.ninja/logarion/") 9 (source (uri https://git.chaotic.ninja/yakumo.izuru/logarion)) 10 10 11 11 (generate_opam_files true)
Note:
See TracChangeset
for help on using the changeset viewer.