api: add option to inject without increment#2910

mloubout wants to merge 1 commit into

maindevitocodes/devito:mainfrom

no-incr-injectdevitocodes/devito:no-incr-injectCopy head branch name to clipboard