STEINGEN/.vscode/settings.json

{
    "files.associations": {
        "random_graph.h": "c",
        "random_groups.h": "c"
    }
}