aboutsummaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
authorValentin Gagarin <valentin.gagarin@tweag.io>2023-09-05 15:05:18 +0200
committerGitHub <noreply@github.com>2023-09-05 15:05:18 +0200
commitf878b422b0b245d62593a909173b10b2b0588eaf (patch)
tree71d126d9123017ec3b83f18f7533d049489f5d1f /src
parentf34484d18a64ff8120ed94926b75c8797cfba536 (diff)
parent3a9c1dc8a3b872adaf30562fb28697b58be4be2b (diff)
Merge pull request #8422 from fricklerhandwerk/remove-checklist
move PR checklist to contributing guide
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions