tlibregexp: rename to libregexp9 - distro - linux distribution experiments
 (DIR) Log
 (DIR) Files
 (DIR) Refs
 (DIR) README
       ---
 (DIR) commit dd8858c2937d71af0ad8793671612012f59720c0
 (DIR) parent 81238a875a0f22c2428126e5e717f8ee0144cd4d
 (HTM) 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