search

atlarge-research / opencraft

Other
5 stars 2 forks source link

Rename PlayerFilter to FeedbackFilter #112

Closed jdonkervliet closed 4 years ago

jdonkervliet commented 4 years ago

In GitLab by @swabbur on Jun 17, 2020, 10:19

null

jdonkervliet commented 4 years ago

In GitLab by @larsdetombe on Jun 17, 2020, 18:27

mentioned in merge request !71

jdonkervliet commented 4 years ago

In GitLab by @swabbur on Jun 18, 2020, 12:04

closed