Commit 2024-04-05 20:49 7239f2e9
View on Github →chore(Data/List/Card): Delete (#11846)
As prophecised by the module doc, this file has been made fully redundant by the advent of Finset
chore(Data/List/Card): Delete (#11846)
As prophecised by the module doc, this file has been made fully redundant by the advent of Finset