Closed matthewp closed 6 years ago
beautification was removed in 4b081ed6d58a7862defc0a9eacbb974c3cab65c5 but the config file was forgotten.
Coverage remained the same at 89.933% when pulling c86b4e93647d0c088e046bce131bc78ad2f8f88d on beaut into 939091702d160660aa5fdb963ecd7947b2cb53ee on master.
beautification was removed in 4b081ed6d58a7862defc0a9eacbb974c3cab65c5 but the config file was forgotten.