summaryrefslogtreecommitdiff
path: root/.github/workflows/style.yml
diff options
context:
space:
mode:
authorNadrieril2020-11-02 23:00:00 +0000
committerGitHub2020-11-02 23:00:00 +0000
commit6e4ad109e7b42eda68053c898dc7aa44199319bf (patch)
tree30c37039b161e7ce913e5fb41ff4a30bc6d7e622 /.github/workflows/style.yml
parent2839bfe23b7a0916e9e625a4d62835c39d8693ba (diff)
parent527b05b66d84c6acaef904f7143a87a1eff67858 (diff)
Merge pull request #193 from basile-henry/with-no-desugar
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions