diff options
Diffstat (limited to 'databases/db42')
-rw-r--r-- | databases/db42/files/patch-dist__configure (renamed from databases/db42/files/patch-dist::configure) | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/databases/db42/files/patch-dist::configure b/databases/db42/files/patch-dist__configure index f5fd795067be..f5fd795067be 100644 --- a/databases/db42/files/patch-dist::configure +++ b/databases/db42/files/patch-dist__configure |