Also rename in dune-project

This commit is contained in:
Reynir Björnsson 2021-12-15 16:29:36 +01:00
parent a4ca6cbcc9
commit 9d025dba2c

View file

@ -1,2 +1,2 @@
(lang dune 2.9) (lang dune 2.9)
(name solo5_elftool) (name solo5-elftool)