aboutsummaryrefslogtreecommitdiff
path: root/.github
diff options
context:
space:
mode:
authorEelco Dolstra <edolstra@gmail.com>2023-02-07 22:35:31 +0100
committerGitHub <noreply@github.com>2023-02-07 22:35:31 +0100
commit1ba13b17db1d2ff4342b41cbd610b76060582335 (patch)
treea7080a987846f450a3c5757a1cbe8914adcac75d /.github
parent8ab9fdac01031b38329208cda4e37b582b1a7ca1 (diff)
parentb8e96351f761ebc688f2f2f6a13345576c008396 (diff)
Merge pull request #7758 from peterbecich/clang11-devshell-documentation
fix documentation for `clang11Stdenv` dev shell
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions