This repository has been archived by the owner on Feb 18, 2024. It is now read-only.

Removed unneeded trait.#628

Merged

jorgecarleitao merged 1 commit intomainfrom rm

Nov 24, 2021

+1-25

Commits on Nov 23, 2021

Removed un-needed trait.
jorgecarleitao
committed