URI: 
       Add a COMMANDS section to the man page - notes - a console notes manager using git
   DIR Log
   DIR Files
   DIR Refs
   DIR Tags
   DIR LICENSE
       ---
   DIR commit a9b16c50298a1b736f8b17e440ef432c9099514e
   DIR parent 5944d7a893a61d765f0c8188ad2785c92bd18eb7
  HTML Author: Solene Rapenne <solene@perso.pw>
       Date:   Fri, 10 Aug 2018 10:37:58 +0200
       
       Add a COMMANDS section to the man page
       
       Diffstat:
         M notes.1                             |       2 +-
       
       1 file changed, 1 insertion(+), 1 deletion(-)
       ---
   DIR diff --git a/notes.1 b/notes.1
       @@ -18,7 +18,7 @@ to display last modified files, history of a file, start a text editor for editi
        .Nm
        is called to edit a file, changes are commited.
        .Pp
       -The following commands are available:
       +.Sh COMMANDS
        .Bl -tag -width Ds
        .It Nm Cm Op ls
        Show the repository tree with colours using