URI: 
       remove extra new line in man page - drist - a remote deployment tool
  HTML git clone git://bitreich.org/drist/ git://enlrupgkhuxnvlhsf6lc3fziv5h2hhfrinws65d7roiv6bfj7d652fid.onion/drist/
   DIR Log
   DIR Files
   DIR Refs
   DIR Tags
   DIR README
   DIR LICENSE
       ---
   DIR commit 01a39e56bdf99527099163d3050688366c5c68ff
   DIR parent c93097b6761dd565bbc876957c220e1fcc66b214
  HTML Author: Solene Rapenne <solene@perso.pw>
       Date:   Thu, 19 Jul 2018 11:40:44 +0200
       
       remove extra new line in man page
       
       Diffstat:
         M drist.1                             |       1 -
       
       1 file changed, 0 insertions(+), 1 deletion(-)
       ---
   DIR diff --git a/drist.1 b/drist.1
       @@ -58,7 +58,6 @@ exists, it is executed remotely on
        .Ar server
        .El
        
       -
        If directory
        .Ar files
        is present, the content of this folder will be copied on the remote server