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

Fix internal CLI option name mismatch.#7

Open

AntoineD wants to merge 1 commit intokokkos:masterfrom

AntoineD:master

Commits on Oct 8, 2018

Fix internal CLI option name mismatch.
AntoineD
authored