CppSettings.java

package org.overture.codegen.vdm2cpp;

public class CppSettings {

}