This repository was archived by the owner on Apr 26, 2024. It is now read-only.

Remove some unused constants.#7644

Merged

richvdh merged 1 commit intodevelopfrom

rav/remove_dead_constants

Jun 5, 2020

Commits on Jun 5, 2020

Remove some unused constants.
richvdh
committed