ReadTheDocs: eliminate the files no longer needed.#686

arnopo merged 1 commit into

OpenAMP:mainOpenAMP/open-amp:mainfrom

wmamills:wam-rm-rtdswmamills/open-amp:wam-rm-rtdsCopy head branch name to clipboard