diff options
| author | David Kalnischkies <kalnischkies@gmail.com> | 2011-05-02 13:22:14 +0200 |
|---|---|---|
| committer | David Kalnischkies <kalnischkies@gmail.com> | 2011-05-02 13:22:14 +0200 |
| commit | 98d6aaa8fd2e5c3e9671560781ab23c99f66d7a4 (patch) | |
| tree | dd70f57f9e5cb44b4a836419f40cdacca47cf5c7 /dselect/names | |
| parent | 288a76d2dcb19aaf0aca6fc9d4898701e5379f5c (diff) | |
handle Dir::Bin::Solvers as a list of directories and find the
solver in this list of directories
Diffstat (limited to 'dselect/names')
0 files changed, 0 insertions, 0 deletions