diff options
| author | Eloi Torrents | 2023-01-23 18:10:27 +0000 |
|---|---|---|
| committer | GitHub | 2023-01-23 18:10:27 +0000 |
| commit | 7e191f59157d024e8b8aaabc62f292183d39f6f9 (patch) | |
| tree | 830236d3e9f2b0c18d22a4f80b257a53bfbc639d /runtime/queries/git-config | |
| parent | 361a8344866841799199e362285b119960151eff (diff) | |
Support sagemath language (#5649)
Diffstat (limited to 'runtime/queries/git-config')
0 files changed, 0 insertions, 0 deletions