Kévin Commaille
b2d52680af
push: Remove Ruleset::add()
In practice, rule insertion is more complex than
adding rules at the end of the ruleset. It can be
easily replaced by using the methods of IndexSet.
2022-11-09 14:45:12 +01:00
..
2022-11-01 11:13:21 +01:00
2022-11-01 11:13:21 +01:00
2022-11-01 11:13:21 +01:00
2022-11-09 14:45:12 +01:00
2022-11-09 14:45:12 +01:00
2022-11-01 11:13:21 +01:00
2022-11-01 11:13:21 +01:00
2022-11-01 11:13:21 +01:00
2022-11-02 23:26:57 +01:00
2022-11-07 10:21:48 +01:00
2022-11-01 11:13:21 +01:00
2022-11-01 11:13:21 +01:00
2022-11-01 11:13:21 +01:00