diff options
| author | Timo Teräs <timo.teras@iki.fi> | 2012-02-22 09:08:14 +0200 |
|---|---|---|
| committer | Timo Teräs <timo.teras@iki.fi> | 2012-02-22 09:08:14 +0200 |
| commit | 955153eac28cbf3d303cabd3563116c51a48ed16 (patch) | |
| tree | ed64106dec4b3a01342b5194fb5c401d4719320c /AUTHORS | |
| parent | bf82e2e5fd45f4ba425a128ae4fdb6144c82f218 (diff) | |
| download | apk-tools-955153eac28cbf3d303cabd3563116c51a48ed16.tar.gz apk-tools-955153eac28cbf3d303cabd3563116c51a48ed16.tar.bz2 apk-tools-955153eac28cbf3d303cabd3563116c51a48ed16.tar.xz apk-tools-955153eac28cbf3d303cabd3563116c51a48ed16.zip | |
solver: remove dependency merging; it's not worth it
callgrind says it's more overhead than improvement. back jumping
effectively prunes all bad trees. but can be added later if it
becomes needed; due to e.g. provides support.
Diffstat (limited to 'AUTHORS')
0 files changed, 0 insertions, 0 deletions