HomeSoftware Heritage

Merge pull request #405 from mmarod/delete_if_empty

Description

Merge pull request #405 from mmarod/delete_if_empty

Add delete_if_empty parameter to the ini_subsetting type/provider

Event Timeline

GitHub <noreply@github.com> committed rSPINIdf46d2a02936: Merge pull request #405 from mmarod/delete_if_empty (authored by daianamezdrea <46529728+daianamezdrea@users.noreply.github.com>).Jul 14 2020, 1:43 PM