URI: 
       remove useless comment - notes - a console notes manager using git
   DIR Log
   DIR Files
   DIR Refs
   DIR Tags
   DIR LICENSE
       ---
   DIR commit df93de63c3a124a282efa7cb693d158d06ca33e7
   DIR parent 4f00b96fadedcd98fcecac053feb037cbe908020
  HTML Author: Solene Rapenne <solene@perso.pw>
       Date:   Sat, 14 Jul 2018 18:30:37 +0200
       
       remove useless comment
       
       Diffstat:
         M notes                               |       2 --
       
       1 file changed, 0 insertions(+), 2 deletions(-)
       ---
   DIR diff --git a/notes b/notes
       @@ -1,7 +1,5 @@
        #!/bin/sh
        
       -# tool for taking notes inside a git repository
       -
        : ${REPO:=~/notes}
        
        # search for a suitable editor