diff --git a/template.md b/template.md index c98a287..7f0235d 100644 --- a/template.md +++ b/template.md @@ -3,6 +3,10 @@ This is a template to start tutorials or how-to ``` (** * TITLE +*** Main contributors + + ... + *** Summary ... @@ -27,4 +31,4 @@ This is a template to start tutorials or how-to - Otherwise, it is available via opam under the name ... *) - ``` \ No newline at end of file + ```