/* Model file for Coverity checker. See https://scan.coverity.com/tune Calamares doesn't seem to geenerate any false positives, so the model-file is empty. */
