| commit | b3118d9752afef5233235b4f95359357b2e72432 | [log] [tgz] |
|---|---|---|
| author | Andrey Ponomarenko <andrewponomarenko@yandex.ru> | Sat May 14 17:55:06 2016 +0300 |
| committer | Andrey Ponomarenko <andrewponomarenko@yandex.ru> | Sat May 14 17:55:06 2016 +0300 |
| tree | fbb4e365172621e378eba38b995854fbe86aab32 | |
| parent | 512878d58f5ff85a0ce2db0dee2c108ed5e24fb4 [diff] |
Use regular expressions instead of wildcards in -skip-* options.