2021-06-10 | pmikus | FIX: Pylint reduce 53/32653/4 | blob | commitdiff | raw |
2019-11-28 | Jan Gelety | Python3: resources and libraries 78/23478/78 | blob | commitdiff | raw | diff to current |
2019-08-23 | Vratko Polak | Improve PLRsearch yet again 31/19031/31 | blob | commitdiff | raw | diff to current |
2019-05-10 | Vratko Polak | PLRsearch: Use stat trackers to shorten Integrator 67/16667/64 | blob | commitdiff | raw | diff to current |