Kornel Benko
62ab563c25
FindAdv: Use private variable for_search
...
Using the new inline statements
find_effective(), find_with_non_output(), find_with_deleted(),
find_set_feature(), find_add_feature() and find_clean_features()
makes the code a slightly better readable.
2022-05-09 22:11:38 +02:00
..
2020-06-25 23:31:42 +02:00
2021-06-19 10:48:49 +02:00
2021-05-25 03:51:29 +02:00
2021-01-02 19:52:23 +01:00
2021-01-02 19:52:23 +01:00
2021-01-02 19:52:23 +01:00
2021-01-02 19:52:23 +01:00
2021-01-02 19:52:23 +01:00
2021-12-05 18:54:05 +01:00
2021-01-02 19:52:23 +01:00
2021-12-05 18:54:05 +01:00
2021-01-02 19:52:23 +01:00
2021-01-02 19:52:23 +01:00
2021-01-02 19:52:23 +01:00
2021-01-02 19:52:23 +01:00
2021-01-02 19:52:23 +01:00
2021-01-02 19:52:23 +01:00
2021-01-02 19:52:23 +01:00
2021-01-02 19:52:23 +01:00
2021-01-02 19:52:23 +01:00
2021-01-02 19:52:23 +01:00
2021-01-02 19:52:23 +01:00
2021-05-25 03:51:29 +02:00
2021-01-02 19:52:23 +01:00
2021-01-02 19:52:23 +01:00
2021-01-02 19:52:23 +01:00
2021-03-05 13:06:10 +01:00
2021-02-28 22:32:11 +01:00
2021-01-02 19:52:23 +01:00
2021-01-02 19:52:23 +01:00
2021-01-02 19:52:23 +01:00
2021-01-02 19:52:23 +01:00
2022-04-01 00:01:42 +02:00
2021-01-02 19:52:23 +01:00
2021-12-05 18:54:05 +01:00
2021-01-02 19:52:23 +01:00
2021-01-02 19:52:23 +01:00
2021-01-02 19:52:23 +01:00
2021-01-02 19:52:23 +01:00
2021-01-02 19:52:23 +01:00
2021-05-25 03:51:29 +02:00
2021-01-02 19:52:23 +01:00
2021-01-06 02:07:25 +01:00
2021-01-06 11:57:22 +01:00
2021-01-02 19:52:23 +01:00
2021-01-02 19:52:23 +01:00
2021-05-25 03:51:29 +02:00
2021-01-02 19:52:23 +01:00
2021-05-25 03:29:20 +02:00
2021-01-02 19:52:23 +01:00
2021-01-02 19:52:23 +01:00
2021-01-02 19:52:23 +01:00
2021-01-02 19:52:23 +01:00
2021-01-02 19:52:23 +01:00
2022-04-03 03:00:03 +02:00
2021-01-06 14:08:00 +01:00
2021-12-28 09:42:31 +01:00
2021-09-28 11:28:43 +03:00
2022-05-09 22:11:38 +02:00
2021-12-07 17:04:47 +01:00
2021-01-02 19:52:23 +01:00
2021-01-02 19:52:23 +01:00
2017-01-11 17:35:34 +01:00
2020-10-03 12:43:48 +02:00
2021-01-02 19:52:23 +01:00
2021-01-02 19:52:23 +01:00
2021-01-07 00:57:36 +01:00
2021-01-02 19:52:23 +01:00
2021-01-02 19:52:23 +01:00
2021-09-28 11:28:43 +03:00
2021-09-30 10:37:24 +03:00
2021-01-02 19:52:23 +01:00
2021-01-02 19:52:23 +01:00
2021-01-02 19:52:23 +01:00
2022-05-09 22:11:38 +02:00
2021-01-02 19:52:23 +01:00
2021-05-25 03:51:29 +02:00
2021-01-02 19:52:23 +01:00
2021-01-02 19:52:23 +01:00
2021-01-02 19:52:23 +01:00
2021-01-02 19:52:23 +01:00
2021-01-02 19:52:23 +01:00
2021-01-02 19:52:23 +01:00
2021-01-02 19:52:23 +01:00
2021-03-06 23:36:58 +01:00
2021-03-06 23:36:58 +01:00
2021-02-27 14:49:55 +01:00
2021-01-02 19:52:23 +01:00
2021-12-08 02:11:48 +01:00
2021-06-01 16:12:46 +02:00
2021-01-02 19:52:23 +01:00
2021-01-02 19:52:23 +01:00
2021-01-02 19:52:23 +01:00
2021-01-02 19:52:23 +01:00
2021-05-25 03:29:20 +02:00
2021-03-05 21:21:41 +01:00
2021-01-02 19:52:23 +01:00
2021-01-02 19:52:23 +01:00
2021-01-02 19:52:23 +01:00
2021-01-02 19:52:23 +01:00
2021-01-02 19:52:23 +01:00
2021-01-02 19:52:23 +01:00
2021-01-02 19:52:23 +01:00
2021-01-02 19:52:23 +01:00
2021-01-02 19:52:23 +01:00
2021-01-02 19:52:23 +01:00
2021-12-27 11:37:59 +01:00
2021-01-02 19:52:23 +01:00
2021-01-02 19:52:23 +01:00
2021-01-02 19:52:23 +01:00
2021-01-02 19:52:23 +01:00
2021-01-02 19:52:23 +01:00
2021-01-02 19:52:23 +01:00
2021-01-02 19:52:23 +01:00
2021-01-02 19:52:23 +01:00
2021-01-02 19:52:23 +01:00
2021-12-08 02:02:46 +01:00
2021-01-02 19:52:23 +01:00
2021-12-27 11:42:30 +01:00
2021-01-02 19:52:23 +01:00
2021-01-02 19:52:23 +01:00
2020-11-06 21:33:56 +02:00
2017-04-20 23:49:02 +02:00
2020-10-13 09:57:36 +03:00
2020-10-25 19:58:57 +02:00
2019-06-02 21:12:12 +02:00
2019-06-14 17:05:49 +02:00
2016-11-16 15:21:52 +01:00
2020-10-05 09:37:15 +02:00
2021-02-08 13:13:21 +01:00
2021-02-08 13:13:21 +01:00
2022-03-20 11:33:12 +01:00
2021-01-02 19:52:23 +01:00
2021-01-06 14:08:00 +01:00
2019-04-15 20:56:52 +02:00
2020-06-25 23:31:42 +02:00
2022-02-20 17:03:33 +01:00
2020-07-17 22:25:18 +02:00
2021-10-08 18:17:19 +02:00
2020-12-03 00:38:27 +02:00
2021-12-05 19:15:06 +01:00
2022-03-20 11:33:12 +01:00
2021-02-27 21:40:28 +01:00
2021-02-02 19:39:52 +01:00
2020-06-25 23:31:42 +02:00
2020-11-01 22:23:44 +02:00