added name to dune proj

shawn-mcginty · Feb 6, 2020 · 7056250 · 7056250
1 parent d77bed1
commit 7056250
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/dune-project b/dune-project
@@ -1 +1,2 @@
-(lang dune 1.6)
+(lang dune 1.6)
+(name naboris)