URI: 

       tlibregexp: rename to libregexp9 - distro - linux distribution experiments
   DIR Log
   DIR Files
   DIR Refs
   DIR README
       ---
   DIR commit dd8858c2937d71af0ad8793671612012f59720c0
   DIR parent 81238a875a0f22c2428126e5e717f8ee0144cd4d
  HTML Author: z3bra <contactatz3bradotorg>
       Date:   Tue, 30 Oct 2018 19:53:56 +0100
       
       libregexp: rename to libregexp9
       
       Diffstat:
         R pkg/libregexp/mkfile -> pkg/libreg… |       0 
         R pkg/libregexp/patches/000-fix-stdd… |       0 
       
       2 files changed, 0 insertions(+), 0 deletions(-)
       ---
   DIR diff --git a/pkg/libregexp/mkfile b/pkg/libregexp9/mkfile
   DIR diff --git a/pkg/libregexp/patches/000-fix-stddef-header.diff b/pkg/libregexp9/patches/000-fix-stddef-header.diff