diff options
| author | dartraiden <wowemuh@gmail.com> | 2018-05-31 16:20:30 +0300 |
|---|---|---|
| committer | dartraiden <wowemuh@gmail.com> | 2018-05-31 16:20:48 +0300 |
| commit | 10c5bc9d5fac794e00611e4b66c384863c092ab8 (patch) | |
| tree | 794878f5f4e05b7a38f727361bfd0c055c6e09a2 /tools/build_scripts/bin15 | |
| parent | be11162281a90a21c4f4754d90acd19ef6937212 (diff) | |
remove Pcre16 from core package, fixes #1383
Diffstat (limited to 'tools/build_scripts/bin15')
| -rw-r--r-- | tools/build_scripts/bin15/z3_PackArchives.txt | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/tools/build_scripts/bin15/z3_PackArchives.txt b/tools/build_scripts/bin15/z3_PackArchives.txt index 1525183eff..c5255a2a2f 100644 --- a/tools/build_scripts/bin15/z3_PackArchives.txt +++ b/tools/build_scripts/bin15/z3_PackArchives.txt @@ -62,7 +62,6 @@ Libs\libeay32.mir Libs\libjson.mir Libs\mir_app.mir Libs\mir_core.mir -Libs\Pcre16.mir Libs\sqlite3.mir Libs\ssleay32.mir Libs\Zlib.mir |