Warn about ignored attributes in configuration.#186

jkot wants to merge 1 commit into

larsga:masterlarsga/Duke:masterfrom

jkot:issue-185jkot/Duke:issue-185Copy head branch name to clipboard