more improvements to the idris templates.

vmchale · Aug 21, 2017 · 94cf29a · 94cf29a
1 parent 81ff218
commit 94cf29a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/includes/idris/{{ Project }}/Lib.idr b/src/includes/idris/{{ Project }}/Lib.idr
@@ -1,4 +1,4 @@
--- ----------------------------------------------------------------- [ Lib.idr ]
+-- --------------------------------------------------- [ {{ Project }}.Lib.idr ]
 -- Module      : {{ Project }}.Lib
 -- Description : {{ description }}
 -- --------------------------------------------------------------------- [ EOH ]