Commit dd26a82b authored by Committed by Steffen Müthing
Merge branch 'feature/dune-project-indentation' into 'master'
Start hello world program in new projects with editor hints Add editor hints from https://www.dune-project.org/doc/devel/codingstyle.html in hello world program created by duneproject. See merge request !18 (cherry picked from commit 1fb298d5) Signed-off-by: Steffen Müthing <firstname.lastname@example.org>
Showing with 3 additions and 0 deletions