Add the valuable parts from org-tools so we can prune the project.#4

Open

schmidtw wants to merge 1 commit intomainfrom

migrate-org-tools

Commits on Dec 11, 2020

Add the valuable parts from org-tools so we can prune the project.
schmidtw
committed