Sergio Rubio e708628cfd
Remove unused function
Not currently used, and it'd need to be added to the MasterIndex interface first.
2020-10-28 13:24:49 +01:00
..
2017-07-23 14:19:13 +02:00
2017-07-23 14:19:13 +02:00
2020-10-17 09:12:58 +02:00
2020-10-17 09:12:58 +02:00
2020-10-28 13:24:49 +01:00
2020-10-17 09:12:58 +02:00