Two files exceeds GitHub's file size limit

[bernuzzi]

Error after pushing the cvsimport

remote: error: Trace: 64a77f8b3a849f1bf2bbd53022ed82c7f192946b2a04bdba2c3fa788ee1a00ae
remote: error: See https://gh.io/lfs for more information.
remote: error: File Eos_tables/2_fluids/DDH_2f.d is 243.03 MB; this exceeds GitHub's file size limit of 100.00 MB
remote: error: File Eos_tables/2_fluids/DDHdelta_2f.d is 242.45 MB; this exceeds GitHub's file size limit of 100.00 MB
remote: error: GH001: Large files detected. You may want to try Git Large File Storage - https://git-lfs.github.com.

These were fixed by

git filter-branch -f --index-filter 'git rm --cached --ignore-unmatch Eos_tables/2_fluids/DDH_2f.d'
git filter-branch -f --index-filter 'git rm --cached --ignore-unmatch Eos_tables/2_fluids/DDHdelta_2f.d'
git push -u origin main

but a better/permanent solution should be found.