fix: update gitignore and make clean (#798)
Co-authored-by: Ettore Di Giacinto <mudler@users.noreply.github.com>
D
Dave committed
ae58fb88214c85c4c7d7ebb4685978b3c15663ad
Parent: 569c1d1
Committed by GitHub <noreply@github.com>
on 7/25/2023, 9:02:46 PM