diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2021-12-14 12:17:58 +0100 |
|---|---|---|
| committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2021-12-14 12:17:58 +0100 |
| commit | d6b7e2dd683b9da592548fe19dabb936769350c3 (patch) | |
| tree | 681464eeec326ca3431e030175eabbfc3e4f4d59 /lib | |
| parent | f4b66ff05ab0affb47ebf390502cba5c277caea3 (diff) | |
| download | compcert-kvx-d6b7e2dd683b9da592548fe19dabb936769350c3.tar.gz compcert-kvx-d6b7e2dd683b9da592548fe19dabb936769350c3.zip | |
Fix pattern for github-linguist.
Diffstat (limited to 'lib')
0 files changed, 0 insertions, 0 deletions