Remove functions that are not needed yet.
authorwidmogrod <widmogrod@gmail.com>
Thu, 21 Dec 2017 18:25:03 +0000 (19:25 +0100)
committerwidmogrod <widmogrod@gmail.com>
Thu, 21 Dec 2017 18:25:03 +0000 (19:25 +0100)
commit5d14a4f8e47ed0a9afc1345abcdcc4abe69a85f5
treef08564ac35528280283d0d3ce1e3c13741dd3758
parent26723ee15a927bcc52ae87a7f9daa5a719b4c462
Remove functions that are not needed yet.
src/Functional/list_seaching.php [deleted file]
src/Functional/sublist.php