diff options
| author | Robbert Krebbers | 2025-07-12 12:58:41 +0200 |
|---|---|---|
| committer | Robbert Krebbers | 2025-07-12 12:58:41 +0200 |
| commit | 6a59973f275a95f10de0ddb62aa3f995c838e3a5 (patch) | |
| tree | 7faa778c5102d5b65207df7e82f7fc9bc6fe8bd1 | |
| parent | a089b873a517e30747b1518e82fa241feeb943b5 (diff) | |
| download | verified-dyn-lang-interp-icfp25.tar.gz verified-dyn-lang-interp-icfp25.zip | |
| -rw-r--r-- | .gitattributes | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitattributes b/.gitattributes new file mode 100644 index 0000000..c925e31 --- /dev/null +++ b/.gitattributes | |||
| @@ -0,0 +1 @@ | |||
| *.v gitlab-language=coq | |||